added equality classes
adde eqclasses