種の有無だとか，高次タクサとか命名とか，なんかその辺のとこはみんな例のクラスとセットの問題に左右されっぱなしのような気がしてならない．たぶんされてると思うんだが，頭んなかまとまんないし，とりあえず保留（いわゆる言い逃げ）．