There are theorists such as John Gerson who explained that the priests and the church itself are the sources of the papal power and, thus, the church should be able to correct, punish, and, if necessary, depose a pope.