The actual evolution of mathematical theories proceeds by a process of induction strictly analogous to the method of induction employed in building up the physical sciences; observation, comparison, classification, trial, and generalisation are essential in both cases. Not only are special results, obtained independently of one another, frequently seen to be really included in some generalisation, but branches of the subject which have been developed quite independently of one another are sometimes found to have connections which enable them to be synthesised in one single body of doctrine. The essential nature of mathematical thought manifests itself in the discernment of fundamental identity in the mathematical aspects of what are superficially very different domains. A striking example of this species of immanent identity of mathematical form was exhibited by the discovery of that distinguished mathematician … Major MacMahon, that all possible Latin squares are capable of enumeration by the consideration of certain differential operators. Here we have a case in which an enumeration, which appears to be not amenable to direct treatment, can actually be carried out in a simple manner when the underlying identity of the operation is recognised with that involved in certain operations due to differential operators, the calculus of which belongs superficially to a wholly different region of thought from that relating to Latin squares.