added areIsomorphic()