Title: Canonical Equational Proofs