Why the Verification Hurdle Exists