Verified New BBC for Verification