diff --git a/TODO b/TODO
index f68c09889a92cbbe6e13ae035a74e717770c4952..bf26732932c5951466885828cdcaee3ffe6cf935 100644
--- a/TODO
+++ b/TODO
@@ -1,13 +1,7 @@
-Enhancements to pa_goal:
+Now that we have 'onrun' handlers, can we do the following on goal
+exit:
 
- - Include the source file location in the generated goal code so we
-   can improve error messages.
-
- - Implement some sort of tracing based on the above.
-
-Now that we have 'onrun' handlers, can we do the following on goal exit:
-
- - implicit memory_set
+ - implicit memory_set via some sort of 'memoize' macro
 
  - implicit check_target