Basic verifier