Quantifiers_(logic) loading ...