nit

diff --git a/archive/logic_potions.md b/archive/logic_potions.md
index fbecd75ddb23fe65d77809414a833976c1468a1b..3f38515bca3239bd8605b59e60955c8a55cb473e 100644 (file)
--- 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.