Wish I could give this 100 upvotes. HN of all places should be a place where people understand that domain models matter, that precisely specifying them for ei

Wish I could give this 100 upvotes. HN of all places should be a place where people understand that domain models matter, that precisely specifying them for either purposes of automation or legal formalization is going to involve significant descriptive effort, possibly even volume, and even apparently simple things -- from trade and health care down to how the arithmetic you think you're used to -- have a lot of complexity underneath them.