TheOtherDave comments on Logical Pinpointing