some equivalence classes