gwern comments on Mental focus