Rewrite part about infinite semantics (now: languages) due to nesting.. and get out on the really thin ice