Reverse mathematics investigates which axioms are necessary to prove particular theorems by working within subsystems of second-order arithmetic. Central to this programme are well-ordering principles ...