Tekstiviesti: Formal linguistics and law