Overlap between Law and Programming languages - what translates well, what doesn't? How far can one go in trying to express Positive Law as an Algorithm, a closed logical system?