Update TALK.md

lambduli · web-flow · commit 5fe070d6a987 · 2024-04-24T19:03:48.000+02:00
diff --git a/resources/14/logic/TALK.md b/resources/14/logic/TALK.md
@@ -147,6 +147,8 @@ A ==> B
 ```
 As a side-condition—the `x` must not "escape" its scope.
 
+> Demonstrate.
+
 
 #### Forall Elimination
 ```
