diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index bf23ca8..aa3c2b9 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -213,6 +213,7 @@
   },
   "active": "ec8d1a91f1f0cc7e",
   "lastOpenFiles": [
+    "Pasted image 20250429092543.png",
     "Pasted image 20250429092305.png",
     "Pasted image 20250429092055.png",
     "Pasted image 20250429091959.png",
@@ -225,7 +226,6 @@
     "Pasted image 20250429084358.png",
     "Pasted image 20250429083535.png",
     "Pasted image 20250429083455.png",
-    "Pasted image 20250429083129.png",
     "Concurrent Systems/notes/13 - Weak Bisimilarity.md",
     "Concurrent Systems/slides/class 13.pdf",
     "Concurrent Systems/notes/12 - Calculus of communicating system.md",
diff --git a/Concurrent Systems/notes/14.md b/Concurrent Systems/notes/14.md
index 6ca3f48..f49d324 100644
--- a/Concurrent Systems/notes/14.md	
+++ b/Concurrent Systems/notes/14.md	
@@ -60,4 +60,4 @@ By restricting *put* and *go*, and by using the second axiom for restriction, we
 We now apply the third axiom for restriction to the three summands:
 ![](../../Pasted%20image%2020250429092055.png)
 ![](../../Pasted%20image%2020250429092305.png)
-
+![](../../Pasted%20image%2020250429092543.png)
diff --git a/Pasted image 20250429092543.png b/Pasted image 20250429092543.png
new file mode 100644
index 0000000..462d72b
Binary files /dev/null and b/Pasted image 20250429092543.png differ