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.