AnotherIdiot comments on Logical Pinpointing