gwern comments on Burch’s Law