Strengthened Verification Requirements