Talk:Theories of iterated inductive definitions