O Manual de Controle Interno da Prefeitura estabelece fluxos de trabalho para a aprovação de contas. Uma das regras de validação diz: “Se o relatório financeiro possuir inconsistências de cálculo, então ele deve retornar imediatamente ao setor técnico para correção.” Além disso, o Manual prevê que relatórios também podem retornar por outros motivos administrativos. O Diretor Financeiro recebeu a notificação de que um determinado relatório retornou ao setor técnico na data de hoje.

Do ponto de vista da lógica formal aplicada à análise de processos, ao saber que o relatório retornou, o Diretor pode concluir corretamente que: