Well-ordering of reals · HackerTrans