U částí psacího softwaru, které jsou řízeným vyhledáváním, to dává smysl. Ale není to ani polovina systému potřebného k generování a dokazování hypotéz. Veškerý kód, který lze lépe napsat pomocí níže uvedené techniky, už nebude potřeba psát do 2 let.