Incorrect comments on Logical Pinpointing