diff --git a/tesi/tesi_unicode.org b/tesi/tesi_unicode.org
index b8a930b..29106a3 100644
--- a/tesi/tesi_unicode.org
+++ b/tesi/tesi_unicode.org
@@ -26,15 +26,10 @@ Magari prima pattern matching poi compilatore?
 \begin{comment}
 MAIL COPPO:
 Dovrei usare il termine tool invece di algoritmo?
-Quanto devo scrivere della mia esperienza all'inria? Per ora non ho detto nulla
-Descrivigli le parti che salto
-
-Perche` ha segnato delle note su:
-→ l
-P → L
-clause matrix
-[|tₛ|]
-
+\end{comment}
+\begin{comment}
+TODO: Bibliografia! Dolan, altri sulla symexec???
+Cita i paper e il libro
 \end{comment}
 
 #+TITLE:   Translation Verification of the  pattern matching compiler