diff --git a/docs/implementation/35-typechecking.md b/docs/implementation/35-typechecking.md
index 10dfdfc..db91503 100644
--- a/docs/implementation/35-typechecking.md
+++ b/docs/implementation/35-typechecking.md
@@ -101,3 +101,9 @@ the other being a `FuncCall` instruction):
 This would result in a situation where we have the following production
 
 ![](/projects/tlang/graphs/pandocplot12139419864099887541.svg)
+
+------------------------------------------------------------------------
+
+### Type checking, coercion and enforcement
+
+TODO: Document this now
diff --git a/docs_src/implementation/35-typechecking.md b/docs_src/implementation/35-typechecking.md
index d984cdc..0b10696 100644
--- a/docs_src/implementation/35-typechecking.md
+++ b/docs_src/implementation/35-typechecking.md
@@ -205,4 +205,10 @@ digraph CodequeueProcess {
         ]
         Codequeue5:ss1 -> cl3_value
 }
-```
\ No newline at end of file
+```
+
+---
+
+### Type checking, coercion and enforcement
+
+TODO: Document this now
\ No newline at end of file