Actually I am not sure whether Mr. Johnson agrees with me on the following proposition. Perhaps Mr. Johnson could clarify,
The public sin of manifest formal heresy per se separates the heretic from the Church..
Fr. Hesse:
Objective (or Material) heresy is: "According to the Church, salvation is attainable outside the Church".
Formal (or Manifest) heresy is: "I don't care what the Church teaches, the Church is wrong, I say salvation is attainable outside the Church".
The accusation that the conciliar popes are manifest heretics has never been proven.