>>724
グラフ理論は単項二階論理が必要だったりする