У ліміті формальна верифікація буде надто дешевою для вимірювання