Nuria Brede (University of Potsdam) and Hugo Herbelin (IRIF) will present at LICS21 a unified classification of choice and bar induction principles.