Allow quantifiers on choice