. . "Australian logician" . .