 It is worth mentioning that Muslim thinkers have also developed interesting theories of how we can arrive at the unknown propositions of mathematics from the known ones. In other words, they have offered detailed accounts of how  step (3)—introduced  in the previous section—can be taken in the context of mathematics in general and geometry in particular. A central question in this context was if and how (and to what extent) what is going on in the mind of a mathematician when she discovers (or invents) a mathematical truth corresponds to what she presents as the proof of this discovery (or invention) on paper. In particular, it was important for Muslim thinkers to know whether or not the order of the steps a mathematician takes to discover a mathematical truth is identical to the order of different stages of the justifications she provides for that truth.