diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 45a99da..69697c9 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -213,10 +213,12 @@
   },
   "active": "ec8d1a91f1f0cc7e",
   "lastOpenFiles": [
-    "Pasted image 20250429083129.png",
-    "Pasted image 20250429082905.png",
     "Concurrent Systems/slides/class 14.pdf",
     "Concurrent Systems/notes/14.md",
+    "Pasted image 20250429083535.png",
+    "Pasted image 20250429083455.png",
+    "Pasted image 20250429083129.png",
+    "Pasted image 20250429082905.png",
     "Pasted image 20250429082812.png",
     "Concurrent Systems/notes/13 - Weak Bisimilarity.md",
     "Concurrent Systems/slides/class 13.pdf",
@@ -231,9 +233,6 @@
     "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "HCIW/slides/HCI in the car.pdf",
     "Concurrent Systems/notes/10 - Implementing Consensus.md",
-    "Pasted image 20250415090109.png",
-    "Pasted image 20250415082906.png",
-    "Concurrent Systems/notes/images/Pasted image 20250414164549.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 88c9fbf..fb8f173 100644
--- a/Concurrent Systems/notes/14.md	
+++ b/Concurrent Systems/notes/14.md	
@@ -15,4 +15,10 @@ basically we can let the left or the right process evolve, leaving the other unc
 
 ![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
+- ...
+
+![350](../../Pasted%20image%2020250429083455.png)
+
+![](../../Pasted%20image%2020250429083535.png)
+$P$ is in standard form if and only if $P \triangleq \sum_{i}\alpha_{i}P_{i}$ and $\forall_{i}P_{i}$ is in standard form.
+
diff --git a/Pasted image 20250429083455.png b/Pasted image 20250429083455.png
new file mode 100644
index 0000000..54f9088
Binary files /dev/null and b/Pasted image 20250429083455.png differ
diff --git a/Pasted image 20250429083535.png b/Pasted image 20250429083535.png
new file mode 100644
index 0000000..16a0319
Binary files /dev/null and b/Pasted image 20250429083535.png differ