■近所の喫茶店で法律関係のテキストを広げた青年が携帯電話中(大声で)。どうやら先輩格の人物に指南を受けている模様。「真理関数と述語論理の違いってなんｽか？」「まずは三段論法ｽ∃ね」「NK、LKあたりから無茶苦茶むずかしくなるんｽけど」「ゲンツェンって…