1 files changed, 2 insertions, 0 deletions
diff --git a/isar/todo b/isar/todo
index b14b3987..3b76d39a 100644
--- a/isar/todo
+++ b/isar/todo
@@ -4,6 +4,8 @@
 
 See also ../todo for generic things to do, priority codes.
 
+** B visualise dependencies: sometimes not applicable.
+
 ** C func-menu: observe proof-syntactic-context (general problem of
 func-menu setup?);