Depicting R⊗ with a branching and R◊ with a non-branching node, in the case of the modally controlled extraction postulates discussed here, we have the constraint that for all x,y,z,r,s,t composed as in the input configuration below, there are alternative internal points s′, t′ connecting the root r to the leaves x,y,z.