0: predicates draft