Householder_operator loading ...