Changes allowing new equivalences to be added