Some discussion of why computer-checked proofs have not been adopted more in mathematics.\xa0 The psychology of telling mathematicians their time-honored method of investigation is inadequate and they need computer-checked proofs.\xa0 Computer-checked proofs and certainty.