Nom que adoptà Pietro dit Boccadiporco en esdevenir papa (1009-12).
Zelós i caritatiu, no pogué sostreure's al poder dels Crescenzi, que forniren els tres papes successius. És considerat, sense gaire fonament, com el primer papa que canvià de nom en ésser elegit.