SMS dit: Issues in mathematical linguistics