If I saw an existential quantifer making a web to catch some free variables I would be freaked...

This work is licensed under a Creative Commons Attribution-Noncommercial 3.0 Unported License.