Utan någon särskild anledning, en helt linjär (inte bara affin) sortering. Det betyder att lhs-komponenter används i rhs exakt en gång på varje klausul.