Nondegenerate_quadratic_form loading ...