ArisKatsaris comments on Logical Pinpointing