Araújo, Baraúnas e Carvalho são três servidores do CREA. Eles, não necessariamente nessa ordem, ocupam cargos de Motorista, Agente de Fiscalização e Auxiliar Técnico, e sempre se deslocam para o trabalho em veículos distintos: moto, carro próprio ou ônibus coletivo. O Agente de Fiscalização, que não é o Carvalho, usa o próprio carro para se deslocar ao trabalho enquanto que Baraúnas, que não é o Auxiliar Técnico, usa ônibus. Pode-se afirmar que