fixed predicate evaluation