ヨコから見てたのでよくわからないんだけど、ωの無限降鎖列の話はどうなったん？