gwern comments on On Shifgrethor