The condemnation pronounced by Urban VIII. (1642) against /Augustinus/, though accepted by the king, the Archbishop of Paris, and the Sorbonne, found many staunch opponents. It was contended that the condemnation was the work of the Jesuits rather than of the Pope, that it was based on the groundless supposition that the system of Jansen was identical with that of Baius, and that as no individual proposition in /Augustinus/ had been condemned people were perfectly free to discuss the views it contained. To put an end to all possibility of misunderstanding Cornet, syndic of Paris University, selected from /Augustinus/ five propositions, which he believed contained the whole essence of Jansen's system, and submitted them to the Sorbonne for examination (1649). Owing to the intervention of the Parliament of Paris in favour of the Jansenists the propositions were referred to the Assembly of the Clergy (1650), but the vast body of the bishops considered that it was a question on which a decision should be sought from Rome. Accordingly eighty-five of the bishops addressed a petition to Innocent X. (1651) requesting him to pronounce a definitive sentence on the orthodoxy or unorthodoxy of the five propositions, while a minority of their body objected to such an appeal as an infringement of the liberties of the Gallican Church. A commission, some of the members of which were recognised supporters of the Jansenists, was appointed by the Pope to examine the question, and after prolonged discussions extending over two years Innocent X. issued the Bull, /Cum occasione/ (1653), by which the five propositions were condemned. The Bull was received so favourably by the king, the bishops, and the Sorbonne that it was hoped the end of the controversy was in sight.