“There is a very well-defined procedure that allows the Vatican to raise issues with a particular theologian about something that does not appear in conformity with the Catholic faith. It is not always easy to make this determination.”