Публикация

That's my understanding as well, but I think they'll get there. The question for me is whether the proof will be accepted.