Def/Inductive predicate



=Metadata=