Benya comments on Logical Pinpointing