lab experiments and eq_class commutative