Added a new example that demonstrates the expressive power of quantification.