Det kommer aldrig att finnas en algoritm för att hitta alla buggar i ett kontrakt