Predicate Logic: Quantifiers (universal and existential) and nested quantifiers.