nshepperd comments on Logical Pinpointing