It doesn’t matter what might come true

Mates of State: Proofs