Andrey Chernikov presentations