W ostateczności formalna weryfikacja będzie zbyt tania, aby ją mierzyć