 Here \(a^*\) is a choice function which depends on \(i\) and the antecedent of the conditional: If \(i\) is a choice function which selects \(\varepsilon_i y \mathrm{Donkey}(y)\) from the set of all donkeys, then \(\varepsilon_{a^*}y \mathrm{Donkey} (y)\) selects from the set of donkeys owned by \(x\).