Bakkot comments on Logical Pinpointing