Eq_class partially done