diff --git a/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md b/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md
index 20dab58..7e274b4 100644
--- a/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md	
+++ b/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md	
@@ -15,7 +15,9 @@ basically we can let the left or the right process evolve, leaving the other unc
 
 ![350](images/Pasted%20image%2020250429083129.png)
 - if a process does not perform any action, a restriction won't do anything
-- ...
+- if the process does not do the restricted action, the restriction won't do anything
+	- what if we restrict on the actual action?
+		- well, then the process becomes 0
 
 ![350](images/Pasted%20image%2020250429083455.png)