P

Initializing...

Theorem 6.1, proof — when player $i$ moves, $\Delta\Phi = w_i\,\Delta C_i$ · Prove2Me