diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md
index 1a11de8..64f5111 100644
--- a/Concurrent Systems/notes/6 - Atomicity.md	
+++ b/Concurrent Systems/notes/6 - Atomicity.md	
@@ -74,9 +74,9 @@ $\hat{S}$ is clearly sequential. Moreover:
 	- $<_{\hat{S}_X}=\to_X \subseteq \to'_X = \to_{\hat{S}|X}=<_{\hat{S}|X}$
 		- commento per non diventare scemi:
 			- $\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}$
-			- $\to_X$ 
-			- $\to|_X$ 
+				- definisce una relazione di ordinamento $\to|_X$ 
 > [!PDF|red] class 6, p.6>  we would have a cycle of length 
 > 
 > we would contraddict op2 ->x op3