diff --git a/verfahren.pdf b/verfahren.pdf
index be6a7cb..80a1e38 100644
Binary files a/verfahren.pdf and b/verfahren.pdf differ
diff --git a/verfahren.tex b/verfahren.tex
index 81dbef9..4a63e26 100644
--- a/verfahren.tex
+++ b/verfahren.tex
@@ -83,11 +83,11 @@
 	\end{itemize}
 	\item Dominatoren $D(n)$ liegen auf jeden Fall \enquote{über} $n$ in $T$
 	\item Berechnung der Semidominatoren $\mathrm{SemDom}\lbrack w\rbrack$ in Reihenfolge fallender DFS-Nummern: \begin{itemize}
-		\item Direkte Vorgänger auf $T$ sind Kandidaten
-		\item $\min_{u\in \mathrm{Pred}(w)} \mathrm{SemDom}\lbrack u\rbrack$ ist Kandidat
+		\item Direkte Vorgänger auf $T$ sind Kandidaten (T-/fortschreitende Kanten)
+		\item $\min_{u\in \mathrm{Pred}(w), u > w} \mathrm{SemDom}\lbrack u\rbrack$ ist Kandidat (Kreuz-/rückschreitende Kanten)
 		\item Minimum der Kandidaten ist $\mathrm{SemDom}\lbrack w\rbrack$
 	\end{itemize}
-	\item Berechnung von $\mathrm{ImmDom}\lbrack w\rbrack$ durch Durchlaufen in Tiefenordnung von $\mathrm{SemDom}\lbrack w\rbrack$ nach $w$:\begin{itemize}
+	\item Berechnung von $\mathrm{ImmDom}\lbrack w\rbrack$ durch Durchlaufen in Tiefenordnung von $\mathrm{SemDom}\lbrack w\rbrack$ nach $w$ (ohne $\mathrm{SemDom}\lbrack w\rbrack$):\begin{itemize}
 		\item Jeweils alle Vorgänger $u$ untersuchen und $u$ mit kleinstem $\mathrm{SemDom}\lbrack u\rbrack$ finden
 		\item \begin{equation*}
 			\mathrm{ImmDom}\lbrack w\rbrack = \begin{cases}