Will_Sawin comments on Logical Pinpointing