Quantifier logic problems