O-Level Verification