diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md
index 5616818..d4f1ed9 100644
--- a/Concurrent Systems/notes/6 - Atomicity.md	
+++ b/Concurrent Systems/notes/6 - Atomicity.md	
@@ -49,7 +49,7 @@ We now show that $\to$ is acyclic.
 
 3. It cannot have cycles with more than 2 edges:
 	- by contradiction, consider a shortest cycle
-		- adjacent edges cannot belong to the same order (otw. the cycle would be shortable, because of transitivity)
+		- adjacent edges cannot belong to the same order (not both $\to_X$ ), otw. the cycle would be shortable, because of transitivity of the total order!
 
 
 > [!PDF|red] class 6, p.6>  we would have a cycle of length