Ondorioak auditoreen aurkikuntzetan oinarritutako inferentzia logikoak dira programari buruz, eta aurkikuntzetatik atera behar dute, haien laburpena adierazi beharrean.
Eskarmenturik gabeko ikuskatzaileek baino emaitza fidagarriagoak dituzte eskarmenturik gabeko ikuskariek baino.