diff --git a/journal/tapl_progress.typ b/journal/tapl_progress.typ
index b7d5668..fe6aff9 100644
--- a/journal/tapl_progress.typ
+++ b/journal/tapl_progress.typ
@@ -126,6 +126,7 @@
     depends-on: (20, 15),
   ),
   "22": (
+    state: "current",
     pos: (4.5, 4),
     depends-on: (11,),
   ),
diff --git a/journal/week4.typ b/journal/week4.typ
index 4487dfd..5dd1705 100644
--- a/journal/week4.typ
+++ b/journal/week4.typ
@@ -7,4 +7,10 @@
 - 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
+- Add support for if statements and ternary expressions
+
+#day(2)
+
+- Read TAPL (22)
+- Rework abstract types
+- Generalize syntax (more modularity for generics, unions, constraints, etc.)