an elevator operator can push the button