Verification exists without resolution.

Verification exists without resolution. – (WitnessLedger: Independent Verification Pattern)