First attempt at inductive definition processing