8. Nested quantifiers

The real power of quantifiers lies in that they can be intermixed with each other to produced nested quantifications.