Update the definition of Equiv