stipulational

The initial stipulational affirmation of the Euclidean geometry G₀ in the physical Jaws P₀ used to compute the corrections in no way assures that the geometry obtained by the corrected rods will be Euclidean!