未確認のランはありません

abstractionAlpha は未確認のランがありません。