hirvinen comments on Logical Pinpointing