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