I have a question about the translation between the wiring diagram and the poset interpretation. John, you wrote:
> we use \$$x \leq y\$$ to mean "given \$$x\$$, we can get \$$y\$$"

In the case of the lemon meringue pie, I want "lemon \$$\leq\$$ lemon filling". However, it seems not that case just "given lemon, we can lemon filling" because we need more ingredients to make the filling. For me, it would be clearer to say: we use \$$x \leq y\$$ to mean "we need \$$x\$$, to get \$$y\$$". Would this still be an accurate interpretation?