ChoiceFirstAvail -> ChoiceInitAvail