From: Zachary Vance Date: Sat, 5 Jun 2021 23:24:50 +0000 (-0700) Subject: nit X-Git-Url: https://git.za3k.com/?a=commitdiff_plain;h=0fe4d8478cd4dab61fe18dbf716a65ac34c5b8a2;p=za3k.git nit --- diff --git a/archive/logic_potions.md b/archive/logic_potions.md index fbecd75..3f38515 100644 --- a/archive/logic_potions.md +++ b/archive/logic_potions.md @@ -220,3 +220,4 @@ For anyone curious, the rules of Mathematical Go Fish were something like: - You lose if you tell someone to go fish, and they can prove you have the card. - You lose if you give someone a card and someone proves you don't have it. - You win if you show someone lost. +- You win if you can prove a contradiction.