From bcec8f96de04fd2c28a03b2c1e127088a0030d82 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Mon, 15 Jan 2024 23:27:19 +0100
Subject: [PATCH] lecture 21

---
 logic3.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/logic3.tex b/logic3.tex
index 24fbe79..f98dd3f 100644
--- a/logic3.tex
+++ b/logic3.tex
@@ -45,6 +45,7 @@
 \input{inputs/lecture_18}
 \input{inputs/lecture_19}
 \input{inputs/lecture_20}
+\input{inputs/lecture_21}
 
 \cleardoublepage