Melhoria da explicação das inconsistências.