added equivalence classes