Na prova de correção, uma designação indicando que as declarações de saída do programa seguem logicamente de suas declarações de entrada e as etapas de processamento.