對於編寫軟體的有向搜尋部分，這是有道理的。但這甚至不是生成和證明假設所需系統的一半。所有可以使用下面技術更好編寫的代碼，在兩年內將不再需要編寫。