diff --git a/TODO.org b/TODO.org
index fc6f92ea..94adcb8f 100644
--- a/TODO.org
+++ b/TODO.org
@@ -671,6 +671,11 @@ Decided 2026-09-26: ~class Lambda(param, body, env)~, ~generic describe(v) -> dy
 Decided 2026-09-26: in .fln ~let x = v~ at column 0 reads ~(def x v)~ and replaces
 ~def~, which is refused with that fix; ~once~ and ~const~ stay.
 
+** NEXT A let takes several bindings on indented lines
+Decided 2026-09-26: lines indented under a ~let~ that are ~name = v~ or ~name: T = v~ are
+more bindings of the same let; anything else there stays refused. flan convert writes
+consecutive lets this way.
+
 ** NEXT A struct fits on one line
 Decided 2026-09-26: ~struct Pt(x: i32, y: i32)~ beside the block form, like a data
 case; union and a struct with a parent too.