DavidS comments on Logical Pinpointing