V limitu bude formální ověření příliš levné na měření