Simplified Total-order-on-sends