Luke_A_Somers comments on Logical Pinpointing