It came up in the sequences, e.g. here, here, and here.
Also, chp 25 of HPMOR is from 2010 which is before CFAR.
It came up in the sequences, e.g. here, here, and here.
Also, chp 25 of HPMOR is from 2010 which is before CFAR.