He also became the first player to use the Modern Benoni in a world championship match, playing it twice against Mikhail Botvinnik in 1960.
Dia juga menjadi pemain pertama yang menggunakan Benoni Modern dalam pertandingan kejuaraan dunia, memainkannya dua kali melawan Mikhail Botvinnik pada 1960.