@DavidKButlerUoA @MathforLove @JSEllenberg Yeah, I've got no idea where the red text is