block predicate