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