Def/Transitive predicate 1