LFは∞廃止か?それともリスト12を∞とするのか?