Decius comments on Logical Pinpointing