Finished editing Equivalence