The discovery of my completeness proofs