If the spirit of a law is beneficial, it can still be hacked to evil ends.

This isnt the failure of the law, its the failure of humans to understand the abstraction.

Programmers should absolutely understand when theyre using a high level abstraction to a complex problem.

Its bemusing when you seem them actively ignore that and claim the abstraction is broken rather than the underlying problem is simply more complex and the abstraction is for 95% of use cases.

"Aha," the confused programmer exclaims, "the abstraction is wrong, I can still shoot my foot off when i disable the gun safety"