Added TODO about the introduction rule for the for all.
Added TODO about the introduction rule for the for all.

Ignore-this: 23c3712981b3fe1e4e05c429a8dfa7d1

darcs-hash:20120403203537-3bd4e-a8e8e957e2baa844bcbbd8705e3a246470c995be.gz

asr/fotc,asr/fotc