diff --git a/src/todo.txt b/src/todo.txt
index 451d5bd..b389c34 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,3 +1,4 @@
+- Move initial intruder knowledge maybe into the title of the MSC.
 - Move time things to stderr instead of latex, does not belong in attack
   output.
 - Implement run knowledge, and use this in protocol compiler.