diff --git a/Concurrent Systems/notes/12b - CCS cose varie.md b/Concurrent Systems/notes/12b - CCS cose varie.md
index 03f0efa..1120388 100644
--- a/Concurrent Systems/notes/12b - CCS cose varie.md	
+++ b/Concurrent Systems/notes/12b - CCS cose varie.md	
@@ -39,6 +39,7 @@ NO: the problem is that, for example:
 So we can try with $$S = \{ (α.P+α.P+M , α.P+M) \} ∪ \{(P,P)\}$$
 But it is not yet a bisimulation.
 P –β–> P’ (challenge and reply), but we don't have (P', P') in S.
+(Questo per garantire che funzioni in qualsiasi caso, con qualsiasi P che eventualmente evolve in P')
 
 So let's try with: $$S = \{ (α.P+α.P+M , α.P+M) \} ∪ Id$$
 Let's go!