تكتشف التدقيقات أخطاء موجودة. الادعاءات تمنع الولايات التي لا ينبغي أن تفعل ذلك. أحدهما تفاعلي. واحدة منها استباقية.