diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 4f0d9a2..7c4d6a2 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -213,6 +213,7 @@
   "lastOpenFiles": [
     "Concurrent Systems/slides/class 11.pdf",
     "Concurrent Systems/notes/11 - non so cosa faremo oggi.md",
+    "Pasted image 20250408092853.png",
     "Pasted image 20250408091924.png",
     "Concurrent Systems/notes/10 - Implementing Consensus.md",
     "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
@@ -255,7 +256,6 @@
     "Concurrent Systems/notes/images/Pasted image 20250325090735.png",
     "Concurrent Systems/slides/class 8.pdf",
     "Concurrent Systems/notes/images/Pasted image 20250324091452.png",
-    "Concurrent Systems/notes/images/Pasted image 20250324082534.png",
     "Senza nome.canvas"
   ]
 }
\ No newline at end of file
diff --git a/Concurrent Systems/notes/11 - non so cosa faremo oggi.md b/Concurrent Systems/notes/11 - non so cosa faremo oggi.md
index ccc887f..80fecce 100644
--- a/Concurrent Systems/notes/11 - non so cosa faremo oggi.md	
+++ b/Concurrent Systems/notes/11 - non so cosa faremo oggi.md	
@@ -18,3 +18,8 @@ $$(20.(tea + 20.coffee))∗ = (20.tea + 20.20.coffee)∗$$
 
 
 But, do they behave the same from the point of view of an external observer??
+![](../../Pasted%20image%2020250408092853.png)
+The essence of the difference is WHEN the decision to branch is taken
+-  language equivalence gets rid of branching points
+	- it is too coarse for our purposes!
+
diff --git a/Pasted image 20250408092853.png b/Pasted image 20250408092853.png
new file mode 100644
index 0000000..430d9c1
Binary files /dev/null and b/Pasted image 20250408092853.png differ