equivalence is symmetric