Write up the fourth argument - infinite semantics - for nesting