isomorphic condition implementation