. "Dutch logician" . . .