SeanMCoincon comments on Logical Pinpointing