diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 7e61067..8ff392b 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -238,10 +238,12 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "84845736e00d5c98",
+  "active": "2882ba3b76891dd0",
   "lastOpenFiles": [
-    "Concurrent Systems/slides/class 12.pdf",
     "Concurrent Systems/notes/12 - bastaaaaaaaa.md",
+    "Pasted image 20250414104010.png",
+    "Pasted image 20250414103800.png",
+    "Concurrent Systems/slides/class 12.pdf",
     "Pasted image 20250414102733.png",
     "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "Concurrent Systems/slides/class 11.pdf",
@@ -255,8 +257,6 @@
     "HCIW/slides/Zooming interfaces.pdf",
     "HCIW/slides/Gestural interaction.pdf",
     "Concurrent Systems/notes/images/Pasted image 20250408091924.png",
-    "Concurrent Systems/notes/images/Pasted image 20250408093840.png",
-    "Concurrent Systems/notes/images/Pasted image 20250408094749.png",
     "Concurrent Systems/notes/10 - Implementing Consensus.md",
     "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
     "Concurrent Systems/notes/4 - Semaphores.md",
diff --git a/Concurrent Systems/notes/12 - bastaaaaaaaa.md b/Concurrent Systems/notes/12 - bastaaaaaaaa.md
index 0f6cecc..92aca85 100644
--- a/Concurrent Systems/notes/12 - bastaaaaaaaa.md	
+++ b/Concurrent Systems/notes/12 - bastaaaaaaaa.md	
@@ -21,4 +21,9 @@ It is also useful to force some processes of the system to synchronize between t
 
 The restriction operator P\a restricts the scope of name a to process P (a is visible only from within P)
 
-This is similar to local variables in a procedure of an imperative program
\ No newline at end of file
+This is similar to local variables in a procedure of an imperative program
+
+![](../../Pasted%20image%2020250414103800.png)
+
+![](../../Pasted%20image%2020250414104010.png)
+
diff --git a/Pasted image 20250414103800.png b/Pasted image 20250414103800.png
new file mode 100644
index 0000000..c17f33c
Binary files /dev/null and b/Pasted image 20250414103800.png differ
diff --git a/Pasted image 20250414104010.png b/Pasted image 20250414104010.png
new file mode 100644
index 0000000..675551c
Binary files /dev/null and b/Pasted image 20250414104010.png differ