Predicate

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