Các cuộc kiểm toán phát hiện các lỗi tồn tại. Các khẳng định ngăn chặn các trạng thái không nên có. Một cái là phản ứng. Một cái là chủ động.