Det vil aldri finnes en algoritme for å finne alle feil i en kontrakt