When descending from the top of a 20-story building at 5 PM, the elevator is likely to fill up by about floor 15, with the only destination floor being the lobby. Stopping the elevator at floors below 15 is a …