Higher only. Yes-or-no decisions argued from the worst case: does the ladder definitely reach, does the lift definitely carry them, testing the least favourable pair of bounds and writing the comparison sentence examiners want. Assumes every earlier bounds page; no new bound arithmetic. (N16)