`P_w ∘ P_z = P_{wz}`.