. . . . . . "Mathematics" . . "named entity 'Assume the contrary'" . .