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.