diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 772c70e..d2bafaa 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -211,11 +211,11 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "ae2c5ab99ad6ca6a",
+  "active": "ec8d1a91f1f0cc7e",
   "lastOpenFiles": [
+    "Concurrent Systems/slides/class 14.pdf",
     "Concurrent Systems/notes/14.md",
     "Pasted image 20250429085319.png",
-    "Concurrent Systems/slides/class 14.pdf",
     "Pasted image 20250429084950.png",
     "Pasted image 20250429084921.png",
     "Pasted image 20250429084358.png",
diff --git a/Concurrent Systems/notes/14.md b/Concurrent Systems/notes/14.md
index 592df38..661d80e 100644
--- a/Concurrent Systems/notes/14.md	
+++ b/Concurrent Systems/notes/14.md	
@@ -35,4 +35,5 @@ replacing one by one every continuation with its standard form, obtaining standa
 
 ![](../../Pasted%20image%2020250429085319.png)
 
+### Axioms & Rules for Weak Bisimilarity