John wants two *unique* morphisms.