changes continued for having an equivalence relation instead of =