Email Record: Canonical equational proofs /