Boniface VII was not yet considered an antipope when the next pope of that same regal name was elected.