Stav dette: Formal linguistics and law