diff --git a/exam/.vscode/ltex.dictionary.de-DE.txt b/exam/.vscode/ltex.dictionary.de-DE.txt
index 31ea9c1..df16fb3 100644
--- a/exam/.vscode/ltex.dictionary.de-DE.txt
+++ b/exam/.vscode/ltex.dictionary.de-DE.txt
@@ -1,2 +1,15 @@
 Milius
 fold-Schema
+fold-Schemas
+Lambeks
+CPO
+CPOs
+Kleensche
+F-Koalgebren
+Koalgebra
+Koalgebren
+finitären
+Koinduktion
+bisimilar
+verhaltensäquivalent
+bisimilarität
diff --git a/exam/main.tex b/exam/main.tex
index 57af663..83d0a0f 100644
--- a/exam/main.tex
+++ b/exam/main.tex
@@ -33,7 +33,7 @@
   \begin{parts}
     \part Was sind F-Algebren?
     \part Was sind initiale Algebren?
-    \part Hat jeder Funktor eine initiale Algebra? Wenn nein Gegenbeispiel
+    \part Hat jeder Funktor eine initiale Algebra? Gegenbeispiel, wenn nein.
     \part Wie beweist man Lambeks Lemma?
     \part Wie konstruiert man F-Algebren?
   \end{parts}
@@ -48,7 +48,7 @@
   \titledquestion{F-Koalgebren}
   \begin{parts}
     \part Was ist eine Koalgebra und wofür verwendet man sie?
-    \part Nennen sie 2 Beispiele mit ihren terminalen Koalgebren
+    \part Nennen Sie 2 Beispiele mit ihren terminalen Koalgebren.
     \part Wie konstruiert man terminale Koalgebren?
     \part Was kann man bei nicht finitären Funktoren machen?
   \end{parts}