predicates first draft