diff --git a/semester3/ti/parts/02_finite-automata/02_proofs-of-nonexistance.tex b/semester3/ti/parts/02_finite-automata/02_proofs-of-nonexistance.tex
index 40f5e90..bee516b 100644
--- a/semester3/ti/parts/02_finite-automata/02_proofs-of-nonexistance.tex
+++ b/semester3/ti/parts/02_finite-automata/02_proofs-of-nonexistance.tex
@@ -16,7 +16,7 @@ so heisst das für uns von jetzt an, dass $A$ nicht zwischen $x$ und $y$ untersc
         (q_0, x) \bigvdash{A}{*} (p, \lambda) \text{ und } (q_0, y) \bigvdash{A}{*} (p, \lambda)
     \end{align*}
     für ein $p \in Q$ (also $\hdelta_A (q_0, x) = \hdelta(q_0, y) = p(x, y \in \class [p])$).
-    Dann existiert für jedes $z \in \Sigma^*$ ein $r \in Q$, so dass $xz, yz \in \class[p]$, also gilt insbesondere
+    Dann existiert für jedes $z \in \Sigma^*$ ein $r \in Q$, so dass $xz, yz \in \class[r]$, also gilt insbesondere
     \begin{align*}
         xz \in L(A) \Longleftrightarrow yz \in L(A)
     \end{align*}
diff --git a/semester3/ti/ti-summary.pdf b/semester3/ti/ti-summary.pdf
index 176181c..1ed2384 100644
Binary files a/semester3/ti/ti-summary.pdf and b/semester3/ti/ti-summary.pdf differ