[ebb tide]

I agree.

I would also add that a pope may not only be a material heretic, but a formal heretic, in which case he loses his office.

[NRx]

Eh. I agree with Fr. H in his rejection of sedevacantism. A Catholic cannot logically subscribe to that without accepting that Rome has fallen. Once you cross that bridge the game is over.