"DeMorgan" . "Augustus" . "Augustus DeMorgan" . . . .