Tags: Monoidal contexts, Monoidal spliced arrows, polycategory - polycategorical splice, Promonoidal contour.
