Prototype of isomorphism detection.