A traveler can arrive at a destination