General Verification Requirements (9)