Updated note on Leibniz's equality.
Updated note on Leibniz's equality.

Ignore-this: fcd2ac13bb245948e504e266cb17d380

darcs-hash:20120514131953-3bd4e-ea5dcb248c4efd0a6381518bc66d8209a3014571.gz

asr/fotc,asr/fotc