IainM comments on Logical Pinpointing