Zaslat SMS: Formal linguistics and law