1672 lubas ta karmeliitidel tähistada Karmeli Neitsi Maarja püha 16. juulile järgneval pühapäeval või mõnel teisel pühapäeval juulis. 21. novembril 1674 lubas ta Hispaanias ja selle kolooniates seda püha tähistada igas koguduses. 1675 lubas ta ka Austrias tähistada Karmeli Neitsi Maarja püha igas koguduses.