added equivalence relations