diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index b44ffbb..6c1d4f2 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -38,7 +38,7 @@
                 "file": "Concurrent Systems/slides/class 6.pdf",
                 "page": 6,
                 "left": -23,
-                "top": 584,
+                "top": 508,
                 "zoom": 0.6538004750593824
               },
               "icon": "lucide-file-text",
diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md
index 24c0ed6..3d3c536 100644
--- a/Concurrent Systems/notes/6 - Atomicity.md	
+++ b/Concurrent Systems/notes/6 - Atomicity.md	
@@ -73,7 +73,8 @@ $\to'|_X$
 $\to|_X$
 $\to_X$
 
-Osservazione: $\to'|_X$ è come dire $\to_{\hat{S}|X}$, infatti l'ordinamento topologico 
+Osservazione: $\to'|_X$ è come dire $\to_{\hat{S}|X}$. L'ordinamento topologico è letteralmente la sequenza di eventi in S
+
 Si ha che $\to|_X \space \subseteq \space \to'|_X$ perché l'ordinamento topologico è letteralmente la sequenza di eventi in $\hat{S}$
 
 $\hat{S}$ is clearly sequential. Moreover:
@@ -83,8 +84,8 @@ $\hat{S}$ is clearly sequential. Moreover:
 			- $\hat{S}_X$ lo storico ottenuto linearizzando $\hat{H}|_X$ 
 				- definisce una relazione di ordinamento $\to_X$ 
 			- $\hat{S}|_X$ lo storico che ottengo filtrando per le operazioni su X, partendo da $\hat{S}$, che a sua volta viene ottenuto linearizzando $\hat{H}$
-				- definisce una relazione di ordinamento $\to|_X$ 
-			- naturlamente, possiamo considerare $\to_X \space = \space <_{\hat{S}_X}$ e $\to|_X \space = \space <_{\hat{S}|_X}$ (se l'ordinamento è uguale, allora anche le coppie in relazione tra loro sono le stesse)
+				- definisce una relazione di ordinamento $\to|_{\hat{S}_X}$ 
+			- naturlamente, possiamo considerare $\to_X \space = \space <_{\hat{S}_X}$ e $\to|_{\hat{S}_X} \space = \space <_{\hat{S}|_X}$ (se l'ordinamento è uguale, allora anche le coppie in relazione tra loro sono le stesse)
 > [!PDF|red] class 6, p.6>  we would have a cycle of length 
 > 
 > we would contraddict op2 ->x op3