[Note 2\2: I formerly stated views similar to these in some 'Remarks' appended to a work which I termed _The Mechanical Euclid_, published in 1837. These Remarks, so far as they bear upon the question here discussed, were noticed and controverted in No. 135 of the _Edinburgh Review_. As an examination of the reviewer's objections may serve further to illustrate the subject, I shall annex to this chapter an answer to the article to which I have referred.] 6. This will appear further when we come to consider the mode in which we exercise our observation upon the relations of space. But we may, in the first place, make a remark which tends to show the connexion between our conception of a straight line, and the axiom which is made the foundation of our reasonings concerning space. The axiom is this;--that two straight lines, which have both their ends joined, cannot have the intervening parts separated so as to inclose a space. The necessity of this axiom is of exactly the same kind as the necessity of the definition of a right angle, of which we have already spoken. For as the line standing on another makes _right angles_ when it makes the angles on the two sides of it equal; so a line is a _straight line_ when it makes the two portions of space, on the two sides of it, similar. And as there is only a single position of the line first mentioned, which can make the angles equal, so there is only a single form of a line which can make the spaces near the line similar on one side and on the other: and {103} therefore there cannot be two straight lines, such as the axiom describes, which, between the same limits, give two different boundaries to space thus separated. And thus we see a reason for the axiom. Perhaps this view may be further elucidated if we take a leaf of paper, double it, and crease the folded edge. We shall thus obtain a straight line at the folded edge; and this line divides the surface of the paper, as it was originally spread out, into two similar spaces. And that these spaces are similar so far as the fold which separates them is concerned, appears from this;--that these two parts coincide when the paper is doubled. And thus a fold in a sheet of paper at the same time illustrates the definition of a straight line according to the above view, and confirms the axiom that two such lines cannot inclose a space.