Turning partial orders into total orders, a step-by-step approach