diff --git a/fgi2/Blatt12/Aufgabenblatt12.tex b/fgi2/Blatt12/Aufgabenblatt12.tex
index a602e6a..d35b838 100644
--- a/fgi2/Blatt12/Aufgabenblatt12.tex
+++ b/fgi2/Blatt12/Aufgabenblatt12.tex
@@ -196,11 +196,22 @@
     \end{figure}
 \section{} %12.4
     \subsection{} %12.4.2 - eventually
-        \begin{alignat*}{1}
-            (d(c + d))(ab + (a + a)\underline{(b + b)}) \\
-            (d(c + d))(ab + \underline{(a + a)}b) \\
-            (d(c + d))\underline{(ab + ab)} \\
-            (d(c + d))ab
+        \begin{alignat*}{2}
+            t_7 &=& (d(c + d))(ab + (a + a)\underline{(b + b)}) \\
+            &=& (d(c + d))(ab + \underline{(a + a)}b) \\
+            &=& (d(c + d))\underline{(ab + ab)} \\
+            &=& (d(c + d))ab
         \end{alignat*}
+
+    \subsection{}
+        \begin{alignat*}{2}
+            t_8 &=& ((d + d)(a + a + c))(a + \underline{(b + b)}) \\
+            &=& ((d + d)(\underline{a + a} + c))(a + b) \\
+            &=& (\underline{(d + d)}(a + c))(a + b) \\
+            &=& (d(a + c))(a + b)
+        \end{alignat*}
+
+        \(t_7\) und \(t_8\) sind offensichtlich nicht äquivalent. %TODO Begründung
+
 \end{document}