An unblockable game must have a global or implicit timer that elapses without player input, triggering a state change. Proof sketch: Otherwise, deadlock under blocking.
