Formal Linguistics and Law door