Validated bad predicates