gwern comments on Belief in Belief vs. Internalization