CCC comments on Logical Pinpointing