linear_order.lift source