Anfonwch hwn fel neges destun: Proofs and refutations: the logic of mathematical discovery