Kindly comments on Logical Pinpointing