3 ms·

Writing laws and contracts in natural language is kind of insane given that they are formal specifications.