context: 1. d2d4  1... g8f6  2. c2c4  2... g7g6  3. f2f3 Vachier-Lagrave is faithful to his Grunfeld Defense. Every now and then he has to face this dangerous variation that leads to very complicated positions. 3... c7c5 One option that Black has is to transpose to a Benoni or King's Indian Saemisch Variation. Incidentally, a question remains for those who are experts in opening nomenclature: when Black plays c5 in the King's Indian, should we call it a Benoni $2