[deleted] comments on Logical Pinpointing