Programmers keep thinking law is if/then, it's not, it's a set of instructions to judges, which may contain obvious errors or conflict with other instructions, which is why we allow humans to interpret them instead of computers.