@clive I was able to bring this up in conversation tonight! I mean, it might have been slightly forced on my part, but like, infinity(ish) came up, so obviously I had to talk about how this critical proof about differential infinities was stolen