— Bourbaki leder striden.