diff --git a/src/todo.txt b/src/todo.txt
index 2947df1..3e81d66 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,3 +1,9 @@
+- Arachne: Add 'from initial knowledge set X' insert nodes into the semistate.
+  That would allow distinguishing easily between attack types, and e.g.
+  (un)trusted requirements.
+- Arachne does termDuplicate (for roledefDuplicate) and then termLocal, which
+  creates new copies. That's a bit redundant.
+- Arachne does not respect claim select switch.
 - roleInstance should determine whether any role variables (e.g. role names,
   received values) are already instantiated. These should be copied and
   replaced by their substitution values. Then, still in roleInstance, the role