Inductive Definition view 3