Uten noen spesiell grunn, en fullstendig lineær (ikke bare affin) sortering. Det betyr at på hver klausul brukes lhs-komponenter i høyre side nøyaktig én gang.