quantifiers and predicate logic 5825915