-----------------------
Implicit Quantification
-----------------------

Investigating implicit quantification.
