英国の論理学者みたいな名前だな。