jimrandomh comments on Logical Pinpointing