A method turned into a computer-implemented system: observable state, transition, required proof, counterfactual action, ProofIndex and evidence ledger.
Adjust sliders, then calculate.