Generalized_quantifier loading ...