In 1661, in the midsts of the formulary controversy, the Jansenist school at Port-Royal was condemned and closed down; those involved with the school had to sign a 1656 papal bull condemning the teachings of Jansen as heretical.
1661 yılında, formüler tartışmanın ortalarında Port-Royal’deki Jansenist okula el koyulmuş ve kapatılmıştır; okul ile ilgisi olanlar da Jansen öğretilerini kafirlikle suçlayan 1656 papalık mühürlü belgeler imzalamıştır.