erfarne revisorer har mer pålitelige funn enn uerfarne revisorer
konklusjoner er logiske konklusjoner om programmet basert på revisorenes funn
logiske konklusjoner av programmet ignorerer funnene til revisorene