I'm havin' a lot of thoughts...

@wparker you specifically said in the above "the info you'd need for truth maintenance governed facts"

it got me wondering about some of our logic. there are places in our rules where im thinking unconditional insertion would improve our ability to reason about the rules

it's kind of a place to hang your hat: "You can always rely on me being there. Nothing can undo this."

It strikes me a bit like the convention of using do--- on functions which have side effects

in the same way, im thinking about unconditional insertion to mark the territory of where branching will never happen, or ought to be expected not to happen