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