diff --git a/tesi/tesi_unicode.org b/tesi/tesi_unicode.org
index 5182657..bd7060a 100644
--- a/tesi/tesi_unicode.org
+++ b/tesi/tesi_unicode.org
@@ -2,7 +2,6 @@
 * TODO Scaletta [1/5]
   - [X] Abstract
   - [-] Background [40%]
-    - [X] 
     - [ ] Lambda code [0%]
       - [ ] Compiler optimizations
       - [ ] other instructions
@@ -18,8 +17,10 @@
       - [ ] Formal Grammar
       - [ ] Symbolic execution of the lambda target
     - [ ] Equivalence between source and target
+  - [ ] Statement of correctness
   - [ ] Proof of correctness
   - [ ] Practical results 
+TODO: talk about compiler stuff
   
 \end{comment}