Quantifiers: How to Prove/Disprove
Any questions so far?