The main difficulty in these inquiries is, and always has been, the readiness with which results of everyday experience become mixed up as apparent necessities of thought with the logical processes, so long as Euclid’s method of constructive intuition is exclusively followed in geometry. It is in particular extremely difficult, on this method, to be quite sure that in the steps prescribed for the demonstration we have not involuntarily and unconsciously drawn in some most general results of experience, which the power of executing certain parts of the operation has already taught us practically. In drawing any subsidiary line for the sake of his demonstration, the well-trained geometer always asks if it is possible to draw such a line. It is well known that problems of construction play an essential part in the system of geometry. At first sight, these appear to be practical operations, introduced for the training of learners; but in reality they establish the existence of definite figures. They show that points, straight lines, or circles such as the problem requires to be constructed are possible under all conditions, or they determine any exceptions that there may be. The point on which the investigations turn, that we are about to consider, is essentially of this nature. The foundation of all proof by Euclid’s method consists in establishing the congruence of lines, angles, plane figures, solids, &c. To make the congruence evident, the geometrical figures are supposed to be applied to one another, of course without changing their form and dimensions. That this is in fact possible we have all experienced from our earliest youth. But, if we proceed to build necessities of thought upon this assumption of the free translation of fixed figures, with unchanged form, to every part of space, we must see whether the assumption does not involve some presupposition of which no logical proof is given. We shall see later on that it does indeed contain one of the most serious import. But if so, every proof by congruence rests upon a fact which is obtained from experience only. I offer these remarks, at first only to show what difficulties attend the complete analysis of the pre-suppositions we make, in employing the common constructive method. We evade them when we apply, to the investigation of principles, the analytical method of modern algebraical geometry. The whole process of algebraical calculation is a purely logical operation; it can yield no relation between the quantities submitted to it that is not already contained in the equations which give occasion for its being applied. The recent investigations in question have accordingly been conducted almost exclusively by means of the purely abstract methods of analytical geometry.