Adding stuff on equivalences.