As an AI enthusiast, "I am trying to convince citizens to apply high mathematical standards of thinking in everyday private and public life" and so I keep in play the last speech of Socrates in Alfred Renyi's mathematical dialogue.