dat ⇔ one の複合体でも良かったわけだ。