As auditorias encontram bugs que existem. Afirmações impedem estados que não deveriam. Um deles é reativo. Um é proativo.