Fără niciun motiv special, un sortare complet liniară (nu doar afine). Asta înseamnă că, pe fiecare clauză, componentele LHS sunt folosite în RHS exact o singură dată.