diff --git a/src/todo.txt b/src/todo.txt
index 48291f3..a4c7421 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,3 +1,6 @@
+- Simple timestamps could be added by prefixing send message before the
+  role, sending any timestamp constants out first to the intruder. These
+  should of course be hidden in the output somehow.
 - Notes on the new attack group displays:
   * We want to group runs into consistent protocol runs.
   * Minimal req. for protocol run: equal \rho.