$1 < mk_wellorder.sml
