Dalam batasnya, verifikasi formal akan terlalu murah untuk diukur