diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index d41871b..45a99da 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -213,6 +213,8 @@
   },
   "active": "ec8d1a91f1f0cc7e",
   "lastOpenFiles": [
+    "Pasted image 20250429083129.png",
+    "Pasted image 20250429082905.png",
     "Concurrent Systems/slides/class 14.pdf",
     "Concurrent Systems/notes/14.md",
     "Pasted image 20250429082812.png",
@@ -232,7 +234,6 @@
     "Pasted image 20250415090109.png",
     "Pasted image 20250415082906.png",
     "Concurrent Systems/notes/images/Pasted image 20250414164549.png",
-    "Concurrent Systems/notes/images/Pasted image 20250414181443.png",
     "Concurrent Systems/slides/class 11.pdf",
     "HCIW/notes/3 - Beacons.md",
     "HCIW/slides/Zooming interfaces.pdf",
diff --git a/Concurrent Systems/notes/14.md b/Concurrent Systems/notes/14.md
index dcc0c29..88c9fbf 100644
--- a/Concurrent Systems/notes/14.md	
+++ b/Concurrent Systems/notes/14.md	
@@ -8,3 +8,11 @@ Inference system = axioms + inference rules
 
 #### Axioms & Rules for Strong Bisimilarity
 ![350](../../Pasted%20image%2020250429082812.png)
+ quite obvious.
+
+![350](../../Pasted%20image%2020250429082905.png)
+basically we can let the left or the right process evolve, leaving the other unchanged, or they can synchronize.
+
+![350](../../Pasted%20image%2020250429083129.png)
+- if a process does not perform any action, a restriction won't do anything
+- 
\ No newline at end of file
diff --git a/Pasted image 20250429082905.png b/Pasted image 20250429082905.png
new file mode 100644
index 0000000..2ff6cf6
Binary files /dev/null and b/Pasted image 20250429082905.png differ
diff --git a/Pasted image 20250429083129.png b/Pasted image 20250429083129.png
new file mode 100644
index 0000000..301c489
Binary files /dev/null and b/Pasted image 20250429083129.png differ