diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index cb59014..42e4b3d 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -36,7 +36,7 @@
                 "file": "Concurrent Systems/slides/class 6.pdf",
                 "page": 6,
                 "left": -23,
-                "top": 428,
+                "top": 259,
                 "zoom": 0.6627078384798101
               },
               "icon": "lucide-file-text",
diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md
index fe345c0..3f44007 100644
--- a/Concurrent Systems/notes/6 - Atomicity.md	
+++ b/Concurrent Systems/notes/6 - Atomicity.md	
@@ -71,6 +71,8 @@ we would have the topological order: $op1\to'op2\to'...$
 
 $\hat{S}$ is clearly sequential. Moreover:
 1. $\forall X :\hat{S}|_{X} = \hat{S}_X (\in semantics(X))$. Indeed:
+	- $<_{\hat{S}_X}=\to_X \subseteq \to'_X = \to_{\hat{S}|X}=<_{\hat{S}|X}$
+	- 
 > [!PDF|red] class 6, p.6>  we would have a cycle of length 
 > 
 > we would contraddict op2 ->x op3