add that equality preserve isomorphism