 This picture fits best with this linguistically oriented notion of “theory construction” rather than the project of philosophical analysis. It also follows the use of the notion of construction in the tradition of mathematics. Euclid prefaces each demonstration with a “construction” of a figure that features in the following proof. Gottlob Frege begins every proof in his Basic Laws of Arithmetic (1893) with an “Analysis”, which informally explains the notions used in the theorems and the strategy of the derivation, followed by the actual, gapless proof, which is called the “Construction”. Historically, then, there is no notion of a construction as a synthetic stage following an analytic stage as two processes of a comparable nature, but leading in opposite directions.