Considere a seguinte afirmação: 'Todos os funcionários da seção A são eficientes e todos os funcionários eficientes são promovidos'. Se um funcionário não foi promovido, é correto concluir que ele: