Definite_bilinear_form loading ...