Positive-semidefinite_matrix loading ...