One direction of the morphism part constructed.