Predicate specs
Simplify condition building