Add directed isomorphism. Some extra work required.