qnli question: What was explained by the man  Giovanni Maria Mastai-Ferretti who later became leader of the Holy Roman Church ? sentence: When defining the dogma in Ineffabilis Deus, Pope Pius IX explicitly affirmed that Mary was redeemed in a manner more sublime.