More updates to Equivalence