diff --git a/semester3/ti/parts/05_complexity/04_np-completeness.tex b/semester3/ti/parts/05_complexity/04_np-completeness.tex
index 28fa94c..05f0f1d 100644
--- a/semester3/ti/parts/05_complexity/04_np-completeness.tex
+++ b/semester3/ti/parts/05_complexity/04_np-completeness.tex
@@ -65,7 +65,7 @@ so dass jede Kante aus $E$ mindestens einen Endpunkt in $U$ hat.
         \item $L \in P$
         \item Es existiert ein Polynom $p_U$, so dass
               \begin{enumerate}[label=(\alph*)]
-                  \item Für jedes $x \in L$ und jedes $y \in \cM(x)$
+                  \item Für jedes $x \in L$ und jedes $y \in \cM(x)$, $|y| \leq p_U(|x|)$
                   \item es existiert ein polynomieller Algorithmus $A$, der für jedes $y \in \word_O$ und jedes $x \in L$ mit $|y| \leq p_U(|x|)$ entscheidet,
                         ob $y \in \cM(x)$ oder nicht
               \end{enumerate}
diff --git a/semester3/ti/ti-summary.pdf b/semester3/ti/ti-summary.pdf
index 35ed2bc..db7e2e5 100644
Binary files a/semester3/ti/ti-summary.pdf and b/semester3/ti/ti-summary.pdf differ