A note on Choice Principles in second-order Logic. - Benjamin Siskind; Paolo Mancosu; Stewart Shapiro (Rev. Symb. Log., 2023)