[mathgradthrow]

So many of these invariants are redundant and so few of them encode any of the interesting rules of chess.