Alexei comments on Logical Pinpointing