[deleted] comments on Logical Pinpointing

[[deleted]]

This post definitely deserves a lot of credit.