Total order

This section is empty…