Predicate

Migrate to predicate library
LT -> LE