Addition and equivalence