It may be noted in passing that it was an extraordinary notion of Kant's to claim that the definition of the straight line as the shortest distance between two points is a synthetic proposition, for my concept of straightness contains nothing of size, but only a quality. In this sense every definition is a synthetic proposition. What is defined, the straight line, is in the first place the intuition or representation.