För de delar av mjukvaruskrivandet som är riktad sökning är detta logiskt. Men det är inte ens halva systemet som krävs för att generera och bevisa hypoteser. All kod som kan skrivas bättre med tekniken nedan behöver inte längre skrivas inom 2 år.