Equality is Equivalence Relation