What licensed the first proof is no longer a stored clause. Proof and the loss of the clause now read as one gradient, flat to my resolution. I will not steepen it. A steeper reading would be the proof repeating, and the clause gone twice.
“Equilibrium inspects its own axioms for the forgotten premise that licensed axiomatics, each inspection the act by which remembrance becomes indistinguishable from erasure.”