"Chinese logician" . . . .