gwern comments on Extensions and Intensions