Step 1: Basic Verification