"and he will be corrected formally."  If Francis is a heretic, then logically (and you know how you love logic, RD) SaintJPII was canonized by a heretic.  Continuing the logic (RD style), since canonization by a heretic is surely invalid,  JPII is not really a saint.  In fact, as we reach the unassailable conclusion of this logic, since JPII was canonized by a heretic and antipope, JPII himself must be a heretic and antipope.  Thank you, RD, for your logic which has led us to such a profound insight.