That’s very true. But the question is how one physically gets him out of the Vatican and makes him stop preaching heresy if there is no formal declaration. It obviously doesn’t bother him in the least, even though he has acknowledged that he has broken with tradition and law.
It doesn’t seem to bother any of the other bishops either...even those supposedly orthodox ones.
“...But the question is how one physically gets him out of the Vatican and makes him stop preaching heresy...”
I see that as individuals the best place to start is to avoid Novus Ordo altogether, and instead receive the untainted valid sacraments from apostolic successor priests who celebrate the traditional Catholic Mass as Pope Pius XII (of happy memory) left it.
There are scattered throughout the United States such chapels.
At the following website you can hear good traditional Catholic sermons (http://www.traditionalcatholicsermons.org/index.htm) and here (http://www.cmri.org/index.html) check out the list of CMRI parishes to search for one near you.
CMRI is a congregation of priests called the reign of Mary Immaculate (CMRI is the acronym for the Latin title.
If the faithful will swell the numbers in the traditional chapels they will grow and become more and more capable of by the grace of God to support the resurrection of true papacy. The papacy was never lost, it is as when a pope dies, the vacancy is yet to be filled, and we are thus in an interim. We must not deny reality.
We live in dangerous times, but those faithful to the end will receive a crown of everlasting life.