 In fact, if geometry is genuinely deductive, the process of deducing must be in all respects independent of the sense of the geometrical concepts, just as it must be independent of figures; only the relations set out between the geometrical concepts used in the propositions (respectively definitions) concerned ought to be taken into account. (Pasch  1882:  98; emphasis in original. The translation here is from Schlimm  2010)