Adiciona argumentacao de corretude