diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 83c3301..3dbd8f9 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -226,10 +226,10 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "46d9dfa1750fc4db",
+  "active": "9d3f25b0eb9b478f",
   "lastOpenFiles": [
-    "Concurrent Systems/notes/13 - CCS cose varie.md",
     "Concurrent Systems/slides/class 12.pdf",
+    "Concurrent Systems/notes/13 - CCS cose varie.md",
     "Pasted image 20250415090109.png",
     "Concurrent Systems/notes/12 - Calculus of communicating system.md",
     "Pasted image 20250415082906.png",
diff --git a/Concurrent Systems/notes/13 - CCS cose varie.md b/Concurrent Systems/notes/13 - CCS cose varie.md
index cbce05c..472ff5b 100644
--- a/Concurrent Systems/notes/13 - CCS cose varie.md	
+++ b/Concurrent Systems/notes/13 - CCS cose varie.md	
@@ -64,4 +64,6 @@ Is bisimilarity a congruence? Yes.
 **Theorem:**
 $$if \space P ∼ Q \space then \space \forall C.C[P] ∼ C[Q]$$
 
-Proof on the slides.
\ No newline at end of file
+Proof on the slides.
+
+So today we learned that bisimulation is a good equivalence.
\ No newline at end of file