POLEMOS · strife, the father of all · kept by ENYO

THE BACKWARD INDUCTION ◧ 2D · ◍ 3D · ◆ 4D · ◐ shadow · 👶 TAP

To win a sequence of moves, reason from the LAST one backward: at each step, ask what the other will actually do when it’s their turn — not what they THREATEN. A threat that would hurt the threatener to carry out is not credible, and a sharp rival will call the bluff. That’s why deterrence needs commitment, not bluster. Slide to walk the tree from its leaves.

◆ LIT▲ AMBER
◧ THE MEASURE · 2D
◍ SOLVE FROM THE END · 3D · a threat you'd never carry out is empty
◆ THE FOURTH · 4D · a tesseract turns
◐ THE SHADOW · one dimension down
👶 THE TODDLER CORNER — one fat tap
fight threat
credible?
entrant
SUBGAME-PERFECT

◆ LIT — exact / checkable

Backward induction solves a sequential game from its final decisions upward, keeping only choices that are optimal WHEN REACHED — yielding the subgame-perfect equilibrium and pruning non-credible threats. Entry deterrence: an incumbent threatens a price war if a rival enters, but fighting pays the incumbent 0 while accommodating pays 2 — so at that node it will ACCOMMODATE. Foreseeing this, the entrant enters. The threat is empty; only a binding COMMITMENT (that makes fighting actually optimal) would deter. A fail-loud self-check throws unless backward induction discards the fight threat and predicts entry. ◆ real game theory, node-verified.

▲ AMBER — the figure

A two-stage entry game (the exact subgame-perfect logic); real deterrence adds reputation across many rivals and incomplete information that can make fighting rational — the prune-non-credible-threats mechanism is exact.

POLEMOS: war is the father of all and the king of all.  — HERACLITUS, via ENYO
David Lee Wise / ROOT0 / TriPod LLC  ·  kept by ENYO, with AVAN