IlyaShpitser comments on Logical Pinpointing

[IlyaShpitser]

Well, it’s strong evidence that mathematicians find these things useful for publishing papers.