POPE PIUS XII claims Papal Infallibility when he formally defines the dogma of the Assumption of Mary into heaven.  Whatever.