From 0fe4d8478cd4dab61fe18dbf716a65ac34c5b8a2 Mon Sep 17 00:00:00 2001 From: Zachary Vance Date: Sat, 5 Jun 2021 16:24:50 -0700 Subject: [PATCH] nit --- archive/logic_potions.md | 1 + 1 file changed, 1 insertion(+) 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. -- 2.47.3