diff --git a/Concurrent Systems/notes/13 - Weak Bisimilarity.md b/Concurrent Systems/notes/13 - Weak Bisimilarity.md
index c668674..266dd31 100644
--- a/Concurrent Systems/notes/13 - Weak Bisimilarity.md	
+++ b/Concurrent Systems/notes/13 - Weak Bisimilarity.md	
@@ -155,4 +155,7 @@ No (ci sono rimasto male anche io).
 Ma il fatto è che questo porta a questo LTS:
 ![](../../Pasted%20image%2020250430183304.png)
 
-Il gioco (infamata incredibile comunque) sta nel fatto che con la restrizione per c1...cn (c1)
\ No newline at end of file
+Il gioco (infamata incredibile comunque) sta nel fatto che con la restrizione per $\{ c_{1},c_{2} \}$, $B_{2}$ non può evolvere in $C_2$ da solo, potrebbe farlo solo con una sincronizzazione! Che non c'è...
+
+Fix: $$C_{i}=b_{i}.D_{i}+c_{i}.b_{i}.A_{i}$$
+in questo modo possiamo permettere al processo di ricevere $c_{i}$ anche nello stato $C$, permettendo la sincronizzazione. In ogni caso tanto resterà in esecuzione finché non riceverà $b_i$.
\ No newline at end of file