Ohjelmistojen kirjoittamisen osissa, jotka ovat suunnattu haku, tämä on järkevää. Mutta se ei ole edes puolta järjestelmästä, joka vaaditaan hypoteesien tuottamiseen ja todistamiseen. Kaikki koodi, joka voidaan kirjoittaa paremmin alla olevalla tekniikalla, ei enää tarvitse kirjoittaa kahden vuoden kuluessa.