You're joking, aren't you? Don't you know that one 'infallible' pope (Pius XII) contradicted another 'infallible' pope (Gelasius I) over the doctrine of Mary's assumption? Gelasius declared it a heresy; Pius a dogma. (Duh!😩)