Se João viajou, então ele conhece outras cidades. Assim sendo