diff --git a/fgi2/Blatt5/Aufgabenblatt5.tex b/fgi2/Blatt5/Aufgabenblatt5.tex
index fd3b298..b25e7cc 100644
--- a/fgi2/Blatt5/Aufgabenblatt5.tex
+++ b/fgi2/Blatt5/Aufgabenblatt5.tex
@@ -109,7 +109,7 @@
 		\subsubsection{}
 		\(\beta _{1}\) gilt nach 5.3.2.(b) für alle Zustände und somit auch für den Startzustand. Damit gilt \(M_{AKW} \models \textbf{AGEX}(s \vee g)\).
 		\subsubsection{}
-		\(\beta _{2}\) gilt nach 5.3.2.(c) für keinen Zustand und somit auch nicht für den Startzustand. Damit gilt \(M_{AKW} \models \textbf{EG}\lnot b\) nicht.
+		\(\beta _{2}\) gilt nach 5.3.2.(c) nur für \(s_{1}\) und \(s_{2}\) und somit nicht für den Startzustand. Damit gilt \(M_{AKW} \models \textbf{EG}\lnot b\) nicht.
 \section{} %4.4
 	\subsection{}
 	Umwandeln von \(\beta _{1}\) in \(\beta '_{1}\):