Deposing Heretical Popes: Church Teaching and the Theological Notes