diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md
index e08a37e..7aa2f11 100644
--- a/Concurrent Systems/notes/6 - Atomicity.md	
+++ b/Concurrent Systems/notes/6 - Atomicity.md	
@@ -15,6 +15,7 @@ A history is **complete** if every inv is eventually followed by a corresponding
 A complete history $\hat{H}$ is **linearizable** if there exists a sequential history $\hat{S}$ s.t.
 - $\forall X :\hat{S}|_{X} \in semantics(X)$
 - $\forall p:\hat{H}|_{p} = \hat{S}|p$
+	- cannot swap actions performed by the same process
 - If $res[op] <_{H} inv[op']$, then $res[op] <_{S} inv[op']$
 	- can rearrange events only if they overlap