百年近くたってこれなんだから、刊トール、ラッセル、ホワイトヘッドとかの時代は酷かったんだろうなあ…。