> A lot of engineer types forget that the law is not code, and reductionist arguments almost never actually work in practice because it's a human interpreting the law.

It's worse than that: a lot of engineer types reason about almost everything as if it were code. It's a manifestation of Engineer's disease.