The problem with translating legalese into a programming language is that the targets are police officers and juries, not Von Neumann machines or lambda calculus.