 The broad claim that there are some non-deductive aspects of mathematical activity seems relatively uncontroversial. For this merely amounts to the claim that not everything that mathematicians do when they do mathematics consists of deriving statements from other statements. As James Franklin puts it: