. . "If a Pope, such as Benedict or JP II were to formally mention in an encyclical Scotus, say, as a great light for the Church, I would say Catholics who practically speaking want him treated as a heretic would be duly chastened." . . .