Base Verification

Verification made simple, with care and ingenuity.