Без особой причины, полностью линейная (не просто аффинная) сортировка. Это означает, что в каждом условии компоненты lhs используются в rhs ровно один раз.