Predicates must be (<=) (>=) instead of (<) and (>).