Logic in the Law