Escrita a seção sobre correção e completude