Suppose, then, that material bodies, including our own human body, were to behave differently when displaced. If corresponding adjustments were to affect the paths of light rays, we should be led to credit rigidity to bodies which from the Euclidean point of view would be squirming when set in motion. As a result, our straight line, that is, the line defined by a stretched rope, our line of sight, the shortest path between two points, would no longer coincide with a Euclidean straight line. From the Euclidean standpoint our straight line would be curved, but from our own point of view it would be the reverse; the Euclidean straight line would now manifest curvature both visually and as a result of measurement. A super-observer called in as umpire would tell us that we were arguing about nothing at all. He would say: “You are both of you justified in regarding as straight that which appears to you visually as such and that which measures out accordingly. It will be to your advantage, therefore, to reserve your definitions of straightness for lines which satisfy these conditions. But you are both of you wrong when you attribute any absolute significance to the concept, for you must realise that your opinions will always be [Pg 37] contingent on the nature of the physical conditions which surround you.” Incidentally, we are now in a position to understand why the Euclidean axioms appeared self-evident or at least imposed by reason. They represented mathematical abstractions derived from experience, from our experience with the light rays and material bodies among which we live. We shall return to these delicate questions in a subsequent chapter. For the present, let us note that since our judgment of straightness is contingent on the disclosures of experience, even the geometry of the space in which we actually live cannot be decided upon a priori. To a first approximation, to be sure, this geometry appears to be Euclidean; but we cannot prophesy what it may turn out to be when nature is studied with ever-increasing refinement. It was with this idea in view that Gauss, who had mastered in secret the implications of non-Euclidean geometry, undertook triangulations with light rays over a century ago. Furthermore, even were the geometry to be established for one definite region of space, we could not assert that our understanding of straightness, hence of geometry, might not vary from place to place and from time to time; hence we cannot assert with Kant that the propositions of Euclidean geometry possess any universal truth even when restricting ourselves to this particular world in which we live.