Quantifiers: How to Prove/Disprove

Any questions so far?