Positive-definite_bilinear_form loading ...