Verification is not a goal.

Verification is not a goal. It is a side effect. – (WitnessLedger: Independent Verification Pattern)