Intermediate Verification