diff --git a/Concurrent Systems/notes/7- MUTEX-free concurrency.md b/Concurrent Systems/notes/7- MUTEX-free concurrency.md
index c35fd38..9fe2695 100644
--- a/Concurrent Systems/notes/7- MUTEX-free concurrency.md	
+++ b/Concurrent Systems/notes/7- MUTEX-free concurrency.md	
@@ -177,7 +177,7 @@ pop() :=
 	if TOP.compare&set(⟨i,v,s⟩,newtop) then
 		return v
 ```
-
+la conclude serve a garantire che il sequence number sia corretto. Se è stato già aggiornato non lo aggiorna.
 #### Liveness theorem
 the implementation of the stack is non-blocking