Def/Russell predicate 1