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