Kết luận là những suy luận logic về chương trình dựa trên những phát hiện của kiểm toán viên và phải xuất phát từ những phát hiện đó thay vì trình bày một bản tóm tắt về chúng.
Những suy luận logic của chương trình bỏ qua những phát hiện của kiểm toán viên.