Copycat on B → B. Opponent asks on the result (right) copy; Proponent mirrors the question into the argument (left) copy, waits for an answer, and copies it back. The constant-true strategy never inspects its argument.
Type B → B
Enabling structure of the arena (each move drawn once). Hover a move for its role. Enabling.
Identity: copy every Opponent move to the other component.
Trace against ask-then-true. (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.
Answer tt on the result without ever querying the argument.
Trace against ask-then-true. (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 ask-then-true. (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.