diff --git a/src/todo.txt b/src/todo.txt
index 76d8a94..a6b8544 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,4 +1,5 @@
-- Is the Goal structure really needed?
+- Add '--untyped' check for typeflaw detection (instead of the fairly
+  vague '--match'.
 - Warshall is taking a third of the time running.
   - Make 'dirty' flag.
   - Make a push-graph structure, where old graphs are simply remembered?