بالنسبة لأجزاء برمجة الكتابة التي تعتمد على البحث الموجه، هذا منطقي. لكنها ليست حتى نصف النظام المطلوب لتوليد وإثبات الفرضيات. كل الكود الذي يمكن كتابته بشكل أفضل باستخدام التقنية أدناه لن يحتاج إلى كتابته خلال سنتين.