IlyaShpitser comments on Logical Pinpointing