Τα συμπεράσματα είναι λογικά συμπεράσματα σχετικά με το πρόγραμμα με βάση τα πορίσματα των ελεγκτών και θα πρέπει να ρέουν από τα πορίσματα , αντί να αντιπροσωπεύουν μια σύνοψη τους .
Τα λογικά συμπεράσματα του προγράμματος αγνοούν τα ευρήματα των ελεγκτών .