From mutually rec to nested