En 1049 participó en el sínodo de Letrán donde apoyó la idea del Papa León de declarar nulas todas las ordenaciones sacerdotales y episcopales realizadas por simonía.
Aun así, parece que León IX mandó reordenar a los acusados de simonía.
[1] Asertor del primado romano, fue adversario de la unión con la Iglesia griega y contribuyó a hacer irreparable la ruptura entre León IX y el patriarca de Constantinopla Miguel I Cerulario.
Fue un fuerte sostenedor del primado pontificio y con profunda aversión a las investiduras laicas.
Aun así se le considera el primer teórico en expresar la idea de que un papa herético puede ser sometido a un juicio.