diff --git a/FORMULAS-BACKLOG-AND-FEATURE-IDEAS.md b/FORMULAS-BACKLOG-AND-FEATURE-IDEAS.md
index 6fede1838..77a592c2f 100644
--- a/FORMULAS-BACKLOG-AND-FEATURE-IDEAS.md
+++ b/FORMULAS-BACKLOG-AND-FEATURE-IDEAS.md
@@ -1,14 +1,20 @@
 
-1. improve formula failure reporting
-  a. report the first failure
+1. [x] improve formula failure reporting
+ a. [x] report the first failure
   
-2. implement shrinking.  Report only the first fully shrunken failure
+2. [ ] implement shrinking.  Report only the first fully shrunken failure
 
-3. don't run more tests than need be if there is alreadya failure in this formula's batch.
+   QUESTION: how can I change the input, when checking in unprocessed? sounds like formulas 
+   might need to record the inputs in a map before evaluating each generation, whch would 
+   happen way at the top level.  Then that map could be checked in unprocessed, but that 
+   unsettles me.
+   
 
-4. consider implementing with @marick's metaconstant syntax
+3. [ ] don't run more tests than need be if there is alreadya failure in this formula's batch.
 
-5. shrink function overrides
-  a. no shrink
+4. [ ] consider implementing with @marick's metaconstant syntax
+
+5. [ ] shrink function overrides
+ a. [ ] no shrink
   
-6. if we do metaconstant style, implement generator overriding
\ No newline at end of file
+6. [ ] if we do metaconstant style, implement generator overriding
\ No newline at end of file