Randy_M comments on Logical Pinpointing