diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 5d7d6a5..47ce0ab 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -204,11 +204,11 @@
   },
   "active": "ec8d1a91f1f0cc7e",
   "lastOpenFiles": [
-    "Concurrent Systems/slides/class 13.pdf",
+    "Concurrent Systems/notes/14.md",
     "Concurrent Systems/notes/13 - Weak Bisimilarity.md",
     "Concurrent Systems/notes/12b - CCS cose varie.md",
+    "Concurrent Systems/slides/class 13.pdf",
     "Concurrent Systems/notes/12 - Calculus of communicating system.md",
-    "Concurrent Systems/notes/14.md",
     "Concurrent Systems/notes/images/Pasted image 20250415082906.png",
     "Concurrent Systems/slides/class 14.pdf",
     "Concurrent Systems/notes/images/Pasted image 20250429092543.png",