A1987dM comments on Logical Pinpointing