proofborne

Defend a rule about two numbers, or prove it breaks. The adversary always finds the exception.