Quantifier_rank loading ...