1994a, "Gödel's second incompleteness theorem explained in words of one syllable," "Mind 103": 1-3.