gwern comments on The Problem of the Criterion