More work on Equiv.v