多重リスト化してε^CK_1にすればゴミービーバーでなくなる?