For de delene av programvareskriving som er rettet søk, gir dette mening. Men det er ikke engang halvparten av systemet som kreves for å generere og bevise hypoteser. All kode som kan skrives bedre med teknikken nedenfor trenger ikke lenger å skrives innen 2 år.