Added existential quantifier using postulates.
Added existential quantifier using postulates.

Ignore-this: 44b355c6d698e97868bb8a4040303fbf

darcs-hash:20111122164841-3bd4e-384e766b50a58a95260af860c8ad63006d6c06a0.gz

asr/fotc,asr/fotc