Links for total-ordering