Sequential conditional of type B → B → B → B. The canonical strategy queries the condition and then exactly one of the two branches. The unused branch is never interrogated — that is definable, unlike por.
Type B → B → B → B
Enabling structure of the arena (each move drawn once). Hover a move for its role. Enabling.
Query the condition, then copy the chosen branch.
Trace against auto. (truncated by bound)
P-view
Unfolding against every legal Opponent continuation, up to the page bound. O branches fan out; P is a single reply. Click a reply count to expand folded Opponent options.
Ignore the condition and copy the then-branch.
Trace against auto. (truncated by bound)
P-view
Unfolding against every legal Opponent continuation, up to the page bound. O branches fan out; P is a single reply. Click a reply count to expand folded Opponent options.
The empty strategy Ω: Proponent never moves.
Trace against auto. (stuck — Ω)
P-view
Unfolding against every legal Opponent continuation, up to the page bound. O branches fan out; P is a single reply. Click a reply count to expand folded Opponent options.