Text this: Canonical equational proofs /