[Campion]

The "procedural due process" is what would be required for the Church to formally recognize his heresy and physically remove him from office.

It's time for that to be considered, IMO.

[armydoc]

"The "procedural due process" is what would be required for the Church to formally recognize his heresy and physically remove him from office

So, if a lay catholic determines, in the absence of "procedural due process" by the courts of the Church, that the Pope is a heretic (multiple times over at that), would that make that lay Catholic

1) a sedevacantist Catholic
2) a non-Catholic who has left the Church by reason of failure to submit to the Pope?

I don't see any other options, but am willing to learn