Positive-definite_operator loading ...