What are iterated and simultaneous inductive definition?