It may be mentioned, by the way, that it is probable that Humpty-Dumpty's "is" is the "is" of identity. In fact, it is not unlikely that Humpty-Dumpty was a Hegelian; for, although his ability for clear explanation may seem to militate against this, yet his inability to understand mathematics,[9] together with his synthesis of a cravat and a belt, which usually serve different purposes,[10] and his proclivity towards riddles seem to make out a good case for those who hold that he was in fact a Hegelian. Indeed, riddles are very closely allied to puns, and it was upon a pun, consisting of the confusion of the "is" of predication with the "is" of identity--so that, for example, "Socrates" was identified with "mortal" and more generally the particular with the universal--that Hegel's system of philosophy was founded.[11] But the question of Humpty-Dumpty's philosophical opinions must be left for final verification to the historians of philosophy: here I am only concerned with an _a priori_ logical construction of what his views might have been if they formed a consistent whole.[12] If the principle of identity were indeed the sole principle of logic, the principles of logic could hardly be said to be, as in fact they are, a body of propositions whose consistency it is impossible to prove.[13] This characteristic is important and one of the marks of the greatest possible security. For example, while a great achievement of late years has been to prove the consistency of the principles of arithmetic, a science which is unreservedly accepted except by some empiricists,[14] it can be proved formally that one foundation of arithmetic is shattered.[15] It is true that, quite lately, it has been shown that this conclusion may be avoided, and, by a re-moulding of logic, we can draw instead the paradoxical conclusion that the opinions held by common-sense for so many years are, in part, justified. But it is quite certain that, with the principles of logic, no such proof of consistency, and no such paradoxical result of further investigations is to be feared. Still, this re-moulding has had the result of bringing logic into a fuller agreement with common-sense than might be expected. There were only two alternatives: if we chose principles in accordance with common-sense, we arrived at conclusions which shocked common-sense; by starting with paradoxical principles, we arrived at ordinary conclusions. Like the White Knight, we have dyed our whiskers an unusual colour and then hidden them.[16]