Also makes an appearance in the recent thread about how "every mathematician only has a few tricks": https://mathoverflow.net/questions/363119/every-mathematicia...