In April 2021 I toyed with the rearrangement theorem, in particular I made an app to view the result interactively.
Now (June 2022) I happened to discover the SoME (summer of maths exhibition) and decided to submit my app, not without some refactoring first.