5. It is semi-Pelagian to say that Christ died or shed his blood for all men without exception. In the Bull of May, 1653, _Cum occasione impressionis libri_, Innocent X pronounced the first four propositions to be heretical, while the fifth was declared to be false, with the addition that if it was intended to convey the meaning that Christ died only for the elect, it was impious and blasphemous as well as heretical. The Jansenists expressed themselves as willing to accept the authority of the Pope in condemning the five propositions in their heretical sense, but contended that these propositions had not been identified with the teachings of Jansen. In September, 1654, the Pope declared that the propositions were found in the _Augustinus_ of Jansen, and that their condemnation as doctrines of Jansen was imperative. Arnauld and his associates in Port Royal contended that, while the Holy See had authority to decide with respect to doctrine, and every good Catholic owed submission to such papal decisions, yet the See might be mistaken on a question of fact, such for instance as to whether a given book contained certain statements. The fullest account of the condemnation of the Jansenist doctrines is given by De Placette.[227] In a decree of the Inquisition, issued in April, 1654, and cited in a brief of Innocent of the same year, all writings are specifically condemned which present and defend the doctrine contained in the _Augustinus_ of Jansen. In 1657, this general prohibition was renewed and it stands in the later Indexes under the term _libri_, and, since Benedict XIV, in the _Decreta Gen._, ii, 5. During the rule of Alexander VII (1655–1667) the question again arose whether on the ground of the Bull of 1653 it was necessary to conclude that Jansen really had taught the five propositions in the sense in which they had been condemned. Arnauld, writing in 1655, took the ground that the Bull in no way decided this matter of the actual interpretation of the propositions, but decided simply that certain doctrine said to be contained in these propositions was itself to be condemned. It was Arnauld’s contention, therefore, that for devout believers a respectful silence (_silence respectueux_) concerning the issue ought to be observed. One result of Arnauld’s statement was his expulsion from the Sorbonne, which was followed by the publication of the famous _Letters_ of Pascal. In October, 1656, Alexander VII issued a Bull declaring that the five propositions had been correctly cited from the book of Jansen, and that the sense in which they had been condemned was the sense that the author had in his mind at the time of their writing. In this Bull, the Pope appears to make the claim, in regard to matters of dogma, of being able to determine the motives and the absolute purpose by which an author has been actuated in putting a statement into words.