. . . . "named entity 'Assume for a contradiction'" . . . "Mathematics" . . .