continued changes for having equivalence relation instead of only equality