Pope Pius XII claims Papal Infallibility when he formally defines the dogma of the Assumption of Mary.