changes for having equivalence relation instead of just the syntactical equality FINISHED