Patrick comments on Logical Pinpointing