You are describing a legal system that is written on paper. we have a real one. It's an easy mistake for programmers to make. We work in a world of provable ab

You are describing a legal system that is written on paper. we have a real one. It's an easy mistake for programmers to make. We work in a world of provable absolutes that behave exactly as written.