Requirements for VBs and Verifiers