diff --git a/src/todo.txt b/src/todo.txt
index ecc204a..42f7c46 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,3 +1,6 @@
+- Test 'sk(x)' in goals, somewhere before assessing a state (dus at the
+  beginning of iterate), immediately reduce to 'sk(Eve)'. Test with
+  --experimental. To that end, reintroduce a state-reporting switch.
 - Scyther mailing list especially for students, this is where they
   should report any questions, when Erik starts the course.
 - It is currently not well-defined to define inversekeys within a role: