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 8d7d538..1e8cd1d 100644
--- a/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md	
+++ b/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md	
@@ -61,7 +61,7 @@ $P$ is in standard form if and only if $P \triangleq \sum_{i}\alpha_{i}P_{i}$ an
 ![](images/Pasted%20image%2020250429091029.png)
 
 #### Completeness theorem: $P \sim Q  \implies \vdash P=Q$
-
+It's true.
 
 #### Example
 A server for exchanging messages, in its minimal version, receives a request for sending messages and delivers the confirmation of the reception