diff --git a/Concurrent Systems/notes/5 - Software Transactional Memory.md b/Concurrent Systems/notes/5 - Software Transactional Memory.md
index 29accfb..ff3729d 100644
--- a/Concurrent Systems/notes/5 - Software Transactional Memory.md	
+++ b/Concurrent Systems/notes/5 - Software Transactional Memory.md	
@@ -139,6 +139,8 @@ X.read_T(i) :=
 	if ∃ Y ∈ read_set(T) s.t. t_dependT[Y] < lc(XX).depend[Y] then
 		# significa che il valore di X che ho letto è stato influenzato
 		# da una modifica di Y avvenuta dopo che T (questa trans.) ha letto Y
+		# per cui significa che X è stato scritto dopo che T ha letto Y
+		# da una trans. che ha scritto sia X che Y
 		ABORT
 
 	∀ Y ∉ read_set(T) do