gwern comments on Cat-Belling Problems