def exclude(db, op, spec, description=None): return SpecPredicate(db, op, spec, description=description)
def no_support(db, reason): return SpecPredicate(db, description=reason)