Predicate

Migrate to predicate library
"less or equal" -> "less than or equal"