We have no government and no laws, if by law is meant a stereotyped convention supported by force, and not to be altered without the aid of cumbersome machinery.
I am delighted to know that Principia Mathematica can now be done by machinery. . . I am quite willing to believe that anything in deductive logic can be done by machinery.