Definite_quadratic_form loading ...