สรุป คือ การอนุมาน ที่ สมเหตุสมผล เกี่ยวกับ โปรแกรม ที่ ดู จาก การ ค้นพบ ของ ผู้ตรวจสอบ และ ควร ไหล จาก การ ค้นพบ แทนที่จะ เป็นตัวแทน สรุป ของ พวกเขา
การอนุมาน ทาง ตรรกศาสตร์ ของ โปรแกรม ไม่ สนใจ การ ค้นพบ ของ ผู้ สอบ สอบ