This is a commission for Whiskey-Danger on Derpibooru that was paid for in mid-May 2025, but only completed on the last day of July – which was also my last working day at SMRT Corporation before I began my PhD studies at the National University of Singapore on 4 August. In the intervening time the Lean formalisation of Carleson's theorem was completed, leading to my name on its accompanying paper.
