predicate fixes