use sort()'s predicate'
doc: fix predicates
spec: fix predicates