Proposition 3.1

Proposition 3.1 (Corrected carrier rectangles). For an ordinary missing or base terminal and $m\ge1$, carrier placements are the ideals of $[m-1]\times[n-m]$. For a recursive terminal, $m=0$ is a singleton; for $m\ge1$, placements are the ideals of $[m-1]\times[n-m-1]$.