---------------------------------
Explicit universal quantification
---------------------------------

Investigating explicit universal quantification.
