D 代表不要。可用的證明其實不是一個壞主意，但我認為動態可用性並不是 L1 首先應該追求的目標。