Sans raison particulière, un tri entièrement linéaire (pas seulement affine). Cela signifie que, pour chaque clause, les composants du lhs sont utilisés dans le rhs exactement une fois.