The third is a collection of evidence from Dutch and Swiss German (Huybregts 1976(Huybregts , 1984Shieber 1985) for the non-context-freeness of at least some natural languages.
while MSO may be a very elegant choice, it does not quite appear to be a sufficient choice.