diff --git a/journal/tapl_progress.typ b/journal/tapl_progress.typ
index 4e0aa70..299ffa4 100644
--- a/journal/tapl_progress.typ
+++ b/journal/tapl_progress.typ
@@ -76,7 +76,7 @@
     depends-on: (7, 9),
   ),
   "11": (
-    state: "current",
+    state: "done",
     pos: (3, 3),
     depends-on: (9,),
   ),
@@ -126,6 +126,7 @@
     depends-on: (11,),
   ),
   "23": (
+    state: "current",
     pos: (7, 3),
     depends-on: (9,),
   ),
diff --git a/journal/week3.typ b/journal/week3.typ
index 6d666d8..3634c1d 100644
--- a/journal/week3.typ
+++ b/journal/week3.typ
@@ -24,3 +24,9 @@
 
 - Read TAPL (11)
 - Implement checker base
+
+#day(5)
+
+- Integrate checker in tester
+- Type check function calls
+- Add casting