diff --git a/TODO b/TODO
index ef9e807a1..97ca63e80 100644
--- a/TODO
+++ b/TODO
@@ -1,3 +1,5 @@
+* Use "real" procprops.
+
 * Add facilities for debugging Scheme programs.
 
 The low-level debugging support is done, and we are now working on the