JaySwartz comments on Logical Pinpointing