disjunction-16-empty-maintenance-box-on-the-philoppapos-hill