With Petro, a leftist leads for the first time