shminux comments on Paper Review: Mathematical Truth