diff --git a/TODO b/TODO
index 8ee6046..638049a 100644
--- a/TODO
+++ b/TODO
@@ -57,4 +57,6 @@ Inserire un config file?
 
 fare il sito come https://soter.mpi-sws.org/
 se non vengono fatte overapprossimazioni -> allora abbiamo una coreografia esatta
-se abbiamo fatto delle overapprossiamzioni -> allora non siamo sicuri di niente
\ No newline at end of file
+se abbiamo fatto delle overapprossiamzioni -> allora non siamo sicuri di niente
+
+idea: aggiungere transizione erronea verso un nuovo stato.
\ No newline at end of file