Ben Pace comments on Logical Pinpointing