Inductive Definition view 1