Kenny comments on Logical Pinpointing