isomorphism check: started adding diff