added basic isomorphism chech