since it's all about doing things
   i guess it makes a little sense to try to make a goal program.
   it's hard to hold goals.
   how to meet a goal: select steps that produce a state where it is
   present, and pursue them.
   how can we simplify to very simple and small?
   say we had a number, a variable, and wanted to make the variable reach
   something. maybe steps available are adding and smallifying.
   the system could already know that adding is good if it's greater, and
   smallifying is good if it's less.
   this seems reasonable.