Lecture 8 (Logic) Interchanging Quantifiers and Introducing Identity