diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index d8d6c46..4588df4 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -193,6 +193,7 @@
   },
   "active": "ec8d1a91f1f0cc7e",
   "lastOpenFiles": [
+    "Pasted image 20250430183304.png",
     "Pasted image 20250430175412.png",
     "Pasted image 20250430171336.png",
     "Concurrent Systems/slides/class 13.pdf",
@@ -209,7 +210,6 @@
     "Concurrent Systems/notes/images/Pasted image 20250429091029.png",
     "Concurrent Systems/notes/images/Pasted image 20250429085319.png",
     "Concurrent Systems/notes/images/Pasted image 20250429084950.png",
-    "Concurrent Systems/notes/images/Pasted image 20250429084921.png",
     "Concurrent Systems/slides/class 12.pdf",
     "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "HCIW/slides/HCI in the car.pdf",
diff --git a/Concurrent Systems/notes/13 - Weak Bisimilarity.md b/Concurrent Systems/notes/13 - Weak Bisimilarity.md
index 4b83116..f3e2394 100644
--- a/Concurrent Systems/notes/13 - Weak Bisimilarity.md	
+++ b/Concurrent Systems/notes/13 - Weak Bisimilarity.md	
@@ -152,3 +152,6 @@ $$A_{i}=a_{i}.B_{i} \quad B_{i}=\bar{c}_{(i \space mod \space n)+1}.C_{i} \quad
 Is the implementation correct? Or, in other words, $S ≈ S_{1,∅}$?
 No (ci sono rimasto male anche io).
 
+Ma il fatto è che questo porta a questo LTS:
+![](../../Pasted%20image%2020250430183304.png)
+
diff --git a/Pasted image 20250430183304.png b/Pasted image 20250430183304.png
new file mode 100644
index 0000000..d45784f
Binary files /dev/null and b/Pasted image 20250430183304.png differ