diff --git a/Concurrent Systems/notes/13 - Weak Bisimilarity.md b/Concurrent Systems/notes/13 - Weak Bisimilarity.md
index 6aeeb61..7a9a7a0 100644
--- a/Concurrent Systems/notes/13 - Weak Bisimilarity.md	
+++ b/Concurrent Systems/notes/13 - Weak Bisimilarity.md	
@@ -120,5 +120,5 @@ This will generate the LTS:
 Is the implementation correct w.r.t. the given specification? Yes.
 Weak bisimilarity $L \approx L_{i}$
 $$R \triangleq \{ (L, L_{i})\space|\space 0<i\leq n\} \space \cup \space \{\bar{p_{i}}.L,L'_{i} \space | \space 0<i<n  \}$$
-is a bisimulation, trust me bro.
+is a weak bisimulation, trust me bro.