RogerS comments on Logical Pinpointing