]. I. Lakatos, Proofs and Refutations: The Logic of Mathematical Discovery, 1976.