Quantifier_(logic) loading ...