Invariants and finite games

Find what a move preserves, prove what must happen, and construct a way to attain a bound.

Prove residue invariants and distinguish them from monotone quantities.

Classify finite game states by a complete response strategy.

Combine an upper or lower bound with an explicit legal construction.