Inductive Definition view 2