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