Def/Binary Predicate