Canonical equivalence

Summary