All propositions of logic are of equal rank; there are not some which are essentially primitive and others deduced from these. Every tautology itself shows that it is a tautology.