diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 7aa8456..240b2ce 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -192,13 +192,16 @@
   },
   "active": "ec8d1a91f1f0cc7e",
   "lastOpenFiles": [
-    "Concurrent Systems/notes/13 - Weak Bisimilarity.md",
-    "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "Concurrent Systems/notes/12b - CCS cose varie.md",
     "Concurrent Systems/notes/12 - Calculus of communicating system.md",
+    "Concurrent Systems/notes/10 - Implementing Consensus.md",
+    "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
+    "Concurrent Systems/notes/9 - Consensus.md",
+    "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md",
+    "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
+    "Concurrent Systems/notes/13 - Weak Bisimilarity.md",
     "Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md",
     "Pasted image 20250430192526.png",
-    "Concurrent Systems/notes/10 - Implementing Consensus.md",
     "Pasted image 20250430183304.png",
     "Pasted image 20250430175412.png",
     "Pasted image 20250430171336.png",
@@ -228,9 +231,6 @@
     "Concurrent Systems/notes/2b - Round Robin algorithm.md",
     "\u0001.md",
     "Concurrent Systems/a.md",
-    "Concurrent Systems/notes/9 - Consensus.md",
-    "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md",
-    "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
     "Concurrent Systems/notes/6 - Atomicity.md",
     "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
     "Concurrent Systems/notes/1 - CS Basics.md",