とりあえずフリードマンとドナルドソンのどっちがより凄いのか
比較してみよう。