Eugenia will talk about modularity results for the logic of Non-Monotone Inductive Definitions. Joint work with Marc Denecker.