enabled the Verifier to satisfy general Caveats