В 1616 году Янсен, будучи главой общежития голландских студентов в Лувене, напал на иезуитскую теологию свободы воли и проповедовал мистическое пуританство, сходное с пиетизмом, который формировался в Голландии, Англии и Германии. Он продолжил войну в качестве профессора экзегезы Священного Писания в Лувене и епископа Ипра. После смерти (1638) он оставил после себя не вполне законченный трактат «Августин», который вскоре после публикации в 1640 году стал доктринальной платформой Пор-Рояля и центром споров во французском католическом богословии на протяжении почти целого столетия.
Хотя книга заканчивалась реверансом в сторону Римской церкви, кальвинисты Нидерландов превозносили ее как самую суть кальвинизма. 17 Подобно Августину, Лютеру и Кальвину, Янсен полностью принимал предопределение: Бог еще до сотворения мира избрал тех мужчин и женщин, которые должны быть спасены, и определил тех, кто будет проклят; добрые дела людей, хотя и ценные, никогда не смогут заслужить спасение без помощи Божественной благодати; и даже среди хорошего меньшинства лишь немногие будут спасены. Католическая церковь не отреклась прямо от предопределения святого Павла и святого Августина, но она позволила ему уйти на задний план своего учения, как трудно совместимому с той свободой воли, которая казалась логически необходимой для моральной ответственности и идеи греха. Но воля человека не свободна, говорил Янсен; она утратила свою свободу в результате греха Адама; природа человека теперь испорчена невозможностью самоискупления; и только Божья благодать, заработанная смертью Христа, может спасти его. Иезуитская защита свободы воли казалась Янсену преувеличением роли добрых дел в обретении спасения и делала почти излишней искупительную смерть Христа. Кроме того, убеждал он, мы не должны слишком серьезно относиться к логике; разум — это способность, намного уступающая доверчивой, беспрекословной вере, так же как ритуальные обряды — это низшая форма религии по сравнению с непосредственным общением души с Богом.
Эти идеи пришли в Порт-Рояль через Дювержье, который тем временем стал аббатом Сен-Сирана. Увлеченный реформой теологии и морали и заменой внешней религии внутренней набожностью, месье де Сен-Сиран, как его теперь называли, приехал в Париж и вскоре (1636) был принят в качестве духовного руководителя монахинь в Порт-Рояль-де-Париж и одиночек в Порт-Рояль-де-Шамп; это двойное учреждение стало теперь голосом и образцом янсенизма во Франции. Ришелье счел реформатора беспокойным фанатиком и заключил его в тюрьму в Венсене (1638). Сен-Сирана освободили в 1642 году, но через год он умер от апоплексического удара.
Даже из своей тюрьмы он продолжал вдохновлять бесчисленное множество Арнаульдов. Антуан II, «Великий Арно», опубликовал в 1643 году трактат De la Fréquente Communion, в котором продолжил войну своего отца против иезуитов. Он не называл их по имени, но осуждал идею, которую, по его мнению, допускали некоторые исповедники, о том, что повторные грехи могут быть компенсированы частой исповедью и причастием. Иезуиты почувствовали, что нападение предназначалось им, и увеличили счет против Арнольдов. Предвидя неприятности, Антуан уехал из Парижа в Порт-Рояль-на-полях. В 1648 году монахини, напуганные Фрондой, также покинули столицу и вернулись в свой прежний дом. Солитари освободили комнаты и переехали в соседний фермерский дом, Лез Гранж.
Папа Урбан VIII уже осудил (1642) общую доктрину Августина Янсена. В 1649 году профессор Сорбонны попросил факультет осудить семь предложений, которые, по его словам, набирали слишком большую популярность. Вопрос был передан на рассмотрение Иннокентию X, и иезуиты воспользовались случаем, чтобы внушить Папе опасность янсенизма как кальвинистской теологии в католическом обличье. В конце концов они убедили его издать буллу Cum occasione (31 мая 1653 года), в которой осуждались как еретические пять положений, якобы взятых из «Августина»: