Ponieważ kler uchylał się od podpisania formularza Aleksander VII w bulli Ad sacram beati Petri sedem (1656) wznawia potępienie dla pięciu zdań Augustinusa i nakazuje swym autorytetem, by dokument został podpisany. Etap drugi thumb|250px|Ruiny opactwa Port-Royal Za pontyfikatu Klemensa IX (lata 1667–1669) nastał tzw. Pokój klementyński. Sprawa jansenizmu ucichła, ponieważ traktowano go tylko jako głos w dyskusji o łasce a podpisów pod formularzem nie egzekwowano surowo. Z tego też powodu mniszki i duchowni związani z Port-Royal unikali podporządkowania się wcześniejszym decyzjom. Spór ponownie wywołało Święte Oficjum wydając w 1690 w Lowanium dekret przeciwko jansenistom, który potwierdzony został w tym samym roku przez Aleksandra VIII potępiającego 31 zdań Augustinusa. Etap trzeci Spory wzmogły się w 1693 po wydaniu przez Paschazego Quesnela Les réflexion morales. Powtarza on w dziele nauki Bajusa i Janseniusza oraz dodaje kilka swoich teorii o niemożliwości przeciwstawienia się łasce. W 1713 Klemens XI wydał bullę Unigenitus, w której in globo odrzuca teorie Quesnela, a tym samym jansenizm i bajanizm. Etap czwarty Janseniści bezskutecznie apelowali do papieży o anulowanie bulli Unigenitus oraz prosili o zwołanie soboru w ich sprawie.