Predicates, Normal Forms, Quantifiers