Done: Verifier now is able to verify caveats