Turns out that doesn't matter for chess, where the winning conditions are formally encoded.