diff --git a/Concurrent Systems/notes/5 - Software Transactional Memory.md b/Concurrent Systems/notes/5 - Software Transactional Memory.md
index 8eb9eac..db87730 100644
--- a/Concurrent Systems/notes/5 - Software Transactional Memory.md	
+++ b/Concurrent Systems/notes/5 - Software Transactional Memory.md	
@@ -144,7 +144,8 @@ X.read_T(i) :=
 		# 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
+		# da una trans. che ha scritto Y (e letto/scritto X)
+		# è lo stesso check che facevo prima ma non solo per X, ma per tutti i registri che ho letto fino ad ora.
 		ABORT
 
 	∀ Y ∉ read_set(T) do