Added equivalence relations