Our description of the null plan is modified from that of Weld (1994) to better suit the restriction to unary operators. Likewise, the initial call **to our POP algorithm contains the**
agenda {hv
∗
1
, A∗1 i**, . . . ,**hv
∗n
, A∗n i}.