O regulamento de progressão funcional de uma autarquia federal estabelece o seguinte critério:
“Todo servidor que obteve conceito máximo na avaliação de desempenho ou concluiu o curso de capacitação obrigatório será incluído na lista de promoção e poderá solicitar progressão funcional no ciclo vigente.”
Sabendo-se que determinado servidor não poderá solicitar progressão funcional no ciclo vigente, pode-se concluir como necessariamente verdadeiro que esse servidor: