It's a kind of coding in lawyer's programming language