WEEK 2- 1st LECTURE (Predicates and Quantifiers, Nested Quantifiers)