"The Dot and the Line: A Romance in Lower Mathematics" . . "2005" . . .