În limită, verificarea formală va fi prea ieftină pentru a fi măsurată