diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 2152e86..a55dfd1 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -238,10 +238,11 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "2882ba3b76891dd0",
+  "active": "84845736e00d5c98",
   "lastOpenFiles": [
-    "Concurrent Systems/notes/12 - bastaaaaaaaa.md",
+    "Pasted image 20250414102733.png",
     "Concurrent Systems/slides/class 12.pdf",
+    "Concurrent Systems/notes/12 - bastaaaaaaaa.md",
     "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "Concurrent Systems/slides/class 11.pdf",
     "Pasted image 20250414093017.png",
diff --git a/Concurrent Systems/notes/12 - bastaaaaaaaa.md b/Concurrent Systems/notes/12 - bastaaaaaaaa.md
index 5f69649..d46bb4a 100644
--- a/Concurrent Systems/notes/12 - bastaaaaaaaa.md	
+++ b/Concurrent Systems/notes/12 - bastaaaaaaaa.md	
@@ -15,4 +15,5 @@ Given a set of names N (that denote events)
 When two processes synchronize, an external observer has no way of understanding what is happening in the system
 - synchronization is not observable from the outside; it produces a special ‘silent’ action, that we denote with τ
 
-The set of actions we shall consider is: $$
\ No newline at end of file
+The set of actions we shall consider is: ![150](../../Pasted%20image%2020250414102733.png)
+
diff --git a/Pasted image 20250414102733.png b/Pasted image 20250414102733.png
new file mode 100644
index 0000000..65bcf65
Binary files /dev/null and b/Pasted image 20250414102733.png differ