Viliam_Bur comments on Logical Pinpointing