One thing I think a lot of programmer-types fail to understand about law is that "rationality" and so on as we believe we understand it doesn't really exist. One of the most irrational human beliefs is in the existence of the rational human.