by the way it is interesting to hear that MIT's math department is finally getting interested in human linguistics. 30 years ago that was quite a nono.