Why Verification Matters