Positive_definite_bilinear_form loading ...