To understand the event "Jeff rode the elevator down.", it is important to know that Elevators have buttons with the floor numbers on