comments in equivalences
cleanup