Pour les parties de l'écriture de logiciels qui sont une recherche dirigée, cela a du sens. Mais ce n'est même pas la moitié du système nécessaire pour générer et prouver des hypothèses. Tout le code qui peut être écrit mieux en utilisant la technique ci-dessous n'aura plus besoin d'être écrit dans 2 ans.