This is a blog post based on a transcript of a talk by Devine on November 26th 2022. Watch the video version on (YouTube). The slideshow presentation was made using Adelie. Thank you to Matt Mascarenhas for providing us with an auto-transcript, it would have taken us ages to put this text together without it. While we are grateful to have had the opportunity to give this presentation, an event in 2025 has resulted in us distancing ourselves from the conference responsible for hosting this talk. ...