incariol comments on Logical Pinpointing