diff --git a/todo.org b/todo.org
index b697f43..d46db30 100644
--- a/todo.org
+++ b/todo.org
@@ -13,6 +13,7 @@
 - [X] spiega nelle relazioni che bounded quando coperta da p-semiflows
 - [X] Vedi bisimulazione ed equivalenze in teoria analisi
 - [ ] Che significa urgente in uppaal?
+- [ ] Uppaal: x = 0 come guardia, non ==
 - [-] Teoria [1/13]
   - [ ] Hierarchy of equivalences
   - [ ] algebra.extra.lucca: internal/external choices