diff -r d47041b23498 -r 34132a854d03 slides/slides04.tex
--- a/slides/slides04.tex	Mon Oct 26 10:27:01 2020 +0000
+++ b/slides/slides04.tex	Tue Oct 27 13:46:01 2020 +0000
@@ -862,7 +862,7 @@
 \end{tikzpicture}
 \end{center}
 
-\small
+\small\pause
 \hspace{4.5cm}\bl{$(\ZERO \cdot (b \cdot c)) + ((\ZERO \cdot c) + \ONE)$}
 $\mapsto$
 \bl{$\ONE$}