[universal-property-of-paramorphisms.png]