I like thinking about the law as if it was code.

Code that you can't test and debug before running in prod.

And in which you're allowed to not check certain cases. (when writing code, you can omit checking bad input, but you're not morally allowed to do so)