Botvinnik versus Smyslov and Petrosian