Comment by gorenb

I agree. The idea of logically representing law isn't the same as replacing law with computers. That's why I even posted this.