By the way, I do get quite the chuckle from the argument, "Well, yes, Honorius was completely expelled from the One, Holy, Catholic, and Apostolic Church on charges of heresy, and since he was not reinstated during his lifetime we cannot conduct services for his salvation, but the Pope amended that anathema, so it isn't quite as bad as one thinks it is."