Fixed predicate sorting.