Update TALK.md

lambduli · web-flow · commit 905e545c7ab1 · 2024-04-20T22:52:16.000+02:00
diff --git a/resources/14/logic/TALK.md b/resources/14/logic/TALK.md
@@ -191,4 +191,9 @@ Theorem proving is not magic!
 > Let's do some light theorem proving.
 
 
+______
+
+### Sometimes, a little bit of magic is nice, though.
+
+
 ![](can-we-have-induction.png)
