Además la herejía se define claramente como «negación "pertinaz" (...) de una verdad que ha de creerse con fe» Para que un papa sea hereje formal primero debe ser pertinaz en su error, y ese error debe negar un dogma formal.