second proof for Yandex