Verification Procedure: Formerly Verified - Level 2