For Chernikov's conference paper