gwern comments on Logical Pinpointing