Removed unnecessary postulates.
Removed unnecessary postulates.

Ignore-this: 47e25f57a78b01f5bc7c4842fb530f95

darcs-hash:20110206221601-3bd4e-426f2de0358e2d95b7453a50762750d1deb70c9e.gz

asr/fotc,asr/fotc