TauCeti comments on Logical Pinpointing