[dang]

What you're describing is legit. I think the solution here is to understand that the rules are never fully specified, and not all-or-nothing. At such a general level of abstraction, it can't be.

More here in case useful:

https://news.ycombinator.com/item?id=47342616

https://news.ycombinator.com/item?id=47342761

https://news.ycombinator.com/item?id=47346798