On the Logical Structure of Some Maximality and Well-Foundedness Principles Equivalent to Choice Principles. - Hugo Herbelin; Jad Koleilat (FSCD, 2024)