diff --git a/semester3/ti/parts/languages-problems/kolmogorov-complexity.tex b/semester3/ti/parts/languages-problems/kolmogorov-complexity.tex
index 0a36369..a1c7a0c 100644
--- a/semester3/ti/parts/languages-problems/kolmogorov-complexity.tex
+++ b/semester3/ti/parts/languages-problems/kolmogorov-complexity.tex
@@ -41,7 +41,7 @@ Deshalb haben diese Wörter auch (meist) eine kleinere Kolmogorov-Komplexität.
 
 
 \fancydef{$K(n)$ für $n \in \N$} Die \bi{Kolmogorov-Komplexität einer natürlichen Zahl $n$} ist $K(n) = K(\text{Bin}(n))$,
-wobei $\text{Bin}(x) = \ceil{\log_2(x + 1)}$ % TODO: Verify correctness here
+wobei $|\text{Bin}(x)| = \ceil{\log_2(x + 1)}$
 
 \inlinelemma Für jede Zahl $n \in \N - \{ 0 \}$ existiert ein Wort $w_n \in (\alphabets{bool})^n$ so dass $K(w_n) \geq |w_n| = n$, oder in Worten, es existiert für jedes $n$ ein nicht komprimierbares Wort.
 
diff --git a/semester3/ti/ti-summary.pdf b/semester3/ti/ti-summary.pdf
index e441837..faa8710 100644
Binary files a/semester3/ti/ti-summary.pdf and b/semester3/ti/ti-summary.pdf differ