Comment by fercircularbuf

I'm confused by the Nested choices and funky order slide.

How does x:=(y|2); y:=(7|8); (x|y) Give only (7,7), (8,8), (2,7), (2,8)?

What about (7,8) or (8,7)?