diff --git a/journal/tapl_progress.typ b/journal/tapl_progress.typ
index 299ffa4..b7d5668 100644
--- a/journal/tapl_progress.typ
+++ b/journal/tapl_progress.typ
@@ -1,4 +1,4 @@
-#import "@local/cetz:0.3.5": canvas, draw
+#import "@preview/cetz:0.5.2": canvas, draw
 #import "@preview/modpattern:0.1.0": modpattern
 
 #let stripe(stroke) = line(
@@ -81,6 +81,7 @@
     depends-on: (9,),
   ),
   "12": (
+    state: "skimmed",
     pos: (4, 3),
     depends-on: (9,),
   ),
@@ -93,14 +94,17 @@
     depends-on: (11,),
   ),
   "15": (
+    state: "done",
     pos: (3.5, 4),
     depends-on: (11,),
   ),
   "16": (
+    state: "done",
     pos: (1, 5),
     depends-on: (15,),
   ),
   "17": (
+    state: "done",
     pos: (0.5, 6),
     depends-on: (10, 16),
   ),
diff --git a/journal/week4.typ b/journal/week4.typ
index 86d213a..4487dfd 100644
--- a/journal/week4.typ
+++ b/journal/week4.typ
@@ -4,6 +4,7 @@
 
 #day(1)
 
-- Read TAPL (15)
+- Read TAPL (15, 16, 17, \~12)
 - Show type checker diagnostics
 - Update VSCode syntax highlighting extension
+- Add support for if statements and ternary expressions
\ No newline at end of file