diff --git a/Vorlesungen/ThProg/Konfluenz.tex b/Vorlesungen/ThProg/Konfluenz.tex
index 602e9c7..367d3fa 100644
--- a/Vorlesungen/ThProg/Konfluenz.tex
+++ b/Vorlesungen/ThProg/Konfluenz.tex
@@ -51,10 +51,10 @@
 		\textbf{und die mit dem MGU substituierte Seite $l_1$:}
 			\begin{align*}
 				l_1\sigma = x \Uparrow (\,u\;&\Uparrow\,(\,v\Uparrow\;w\,))\\ \\
-				l_1\sigma (1) = x\;\Uparrow \, ( \, u \; \Downarrow \; u\,)
+				l_1\sigma (1.1) = x\;\Uparrow \, ( \, u \; \Downarrow \; u\,)
 				\hspace{1cm}&\hspace{8mm}
-				l_1\sigma (2) = x\;\Uparrow \, ( \, u \; \Uparrow \,(v\;\;\Downarrow\;v\,) \\\\
-				Nicht\;zusam&menfuehrbar!\\
+				l_1\sigma (1.2) = x\;\Uparrow \, ( \, u \; \Uparrow \,(v\;\;\Downarrow\;v\,) \\\\
+				
 			\end{align*}
 		Newman's Lemma bedeutet in der Umkehrung, dass ein System bei dem mindestens ein Paar nicht zusammenf\"uhrbar ist, nicht konfluent ist.\\
 		D.h. wir sind hier bereits fertig.
diff --git a/Vorlesungen/ThProg/Makefile b/Vorlesungen/ThProg/Makefile
index 8debae8..8c2e0db 100644
--- a/Vorlesungen/ThProg/Makefile
+++ b/Vorlesungen/ThProg/Makefile
@@ -2,6 +2,8 @@ all: Konfluenz.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf Polynomo
 
 continuous: $(PDF).continuous 
 
+clean: cleanup all
+
 cleanup: 
 	-rm -f *.aux *.fdb_latexmk *.fls *.log *.pdf
 single: all
@@ -9,9 +11,9 @@ single: all
 	
 
 %.continuous: %.pdf
-	latexmk -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex
+	@command ||: latexmk -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex
 
 %.pdf: %.tex
-	latexmk -jobname=$(@:%.pdf=%) -pdf $<
+	@command ||: latexmk -jobname=$(@:%.pdf=%) -pdf $<
 
 .PHONY: all continuous cleanup single