True_quantified_Boolean_formula loading ...