En mycket skicklig logiker ärandra