Replace "equality" with "equivalence"