Base

Verification made simple, with care and ingenuity.