Adding nesting structure to words
Dynamic logic