The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders - Arno Pauly (Twenty Years of Theoretical and Practical Synergies, 2024)