diff --git a/Readme.md b/Readme.md
index 807c13e..e235ae4 100644
--- a/Readme.md
+++ b/Readme.md
@@ -19,6 +19,7 @@ Dieses Repo beinhaltet die $\LaTeX$ Informationen für die Zusammenfassung im Fa
 - [x] Äquivalenztabelle aus Übung 5 (Aussagenlogik)
 - [x] Resolutionsalgorithmus (Hypothese wird negiert hinzugefügt)
 - [x] Äquivalenztabelle aus Übung 6 (Prädikatenlogik)
+- [ ] Skolemisierungsverfahren hinzufügen
 
 ## Hinweise
 Requires you to enable [--shell escape](https://tex.stackexchange.com/questions/516604/how-to-enable-shell-escape-or-write18-visual-studio-code-latex-workshop)
diff --git a/chapters/Logik/Prädikatenlogik.tex b/chapters/Logik/Prädikatenlogik.tex
index 609c3f6..f8b35ce 100644
--- a/chapters/Logik/Prädikatenlogik.tex
+++ b/chapters/Logik/Prädikatenlogik.tex
@@ -84,9 +84,9 @@
                 Jeder Formel lässt sich in die Pränexform umstellen.
                 \begin{enumerate}
                     \item Variablenumbenennung: Hinter allen Quantoren müssen verschiedene Variablen stehen.
-                    \item Implikation ($\Rightarrow$) und Äquvivalenz ($\rightleftarrows$) vollständig beseitigen.
+                    \item Implikation ($\Rightarrow$) und Äquvivalenz ($\Leftrightarrow$) vollständig beseitigen.
                         Ggfs. Schritt 1 wiederholen
-                    \item Mit \say{de Morganschen Gesetzen} und
+                    \item Mit \say{de Morganschen Gesetzen} (\ref{aussagenlogik: aequivalenzen}) und
                         $$ \neg\forall x F \equiv \exists x\neg F$$
                         $$ \neg\exists x F \equiv \forall x\neg F$$
                         Negationszeichen nach ganz innen schieben.