JoachimSchipper comments on Logical Pinpointing