Johnicholas comments on Logical Pinpointing