 a proof would not necessarily carry conviction, the proposer of a proof could fairly be asked to give a proof that it was a proof—in short the formal analysis of what constitutes a proof (in the sense of a cogent demonstration) would be incomplete (1959 [BE: 477–8]).