The composition of two 3-diagrams.