diff --git a/journal/week4.typ b/journal/week4.typ
index 5dd1705..44f171d 100644
--- a/journal/week4.typ
+++ b/journal/week4.typ
@@ -14,3 +14,26 @@
 - Read TAPL (22)
 - Rework abstract types
 - Generalize syntax (more modularity for generics, unions, constraints, etc.)
+- Weekly meeting
+
+#day(3)
+
+- Halfway presentations
+- Define formal syntax and typing rules
+
+#day(5)
+
+- Work on formal rules
+- Update syntax definition (EBNF + railroad diagrams)
+- Add usage documentation
+- Implement subtyping
+
+#day(6)
+
+- Implement subtyping
+
+#day(7)
+
+- Implement subtyping
+- Implement attribute reference and assignments
+- Improve diagnostics in CLI