diff --git a/Concurrent Systems/notes/Lezione1.md b/Concurrent Systems/notes/Lezione1.md
index f28e59f..e532ea3 100644
--- a/Concurrent Systems/notes/Lezione1.md	
+++ b/Concurrent Systems/notes/Lezione1.md	
@@ -90,4 +90,8 @@ So safety is necessary for correctness, liveness for meaningfulness.
 - **Safety:** there is at most one process at a time in a C.S.
 - **Liveness:**
 	- **Deadlock freedom:** if there is at least one invocation of lock, eventually after at least one process enters a C.S.
-	- **Starvation freedom:** every invocation of lock eve
\ No newline at end of file
+	- **Starvation freedom:** every invocation of lock eventually grants access to the associated C.S.
+	- **Bounded bypass:** let $n$ be the number of processes; then, there exists $f: N \to N$ s.t. every lock enters the C.S. after at most $f(n)$ other C.S.s (The process must win in at most f(n) steps).
+
+
+