Yazılım yazmanın yönlendirilmiş arama bölümleri için bu mantıklı. Ama hipotezleri oluşturmak ve kanıtlamak için gereken sistemin yarısı bile değil. Aşağıdaki teknik kullanılarak daha iyi yazılabilecek tüm kodların artık 2 yıl içinde yazılmasına gerek kalmayacak.