… that even when the Up Arrow is already lighted in an elevator, the person who just arrived in the elevator lobby will push it again. Hmm, will that speed up the arrival of the elevator?
BTW, isn’t it wrong to call an elevator an elevator when it’s going down? Same with the escalator. Their names are only right when they’re elevating you or escalating you to a higher plane.