A good illustration of how papal infallibility actually works is in the comparatively recent definition of the assumption of the Blessed Virgin Mary. There’s a scene in Brideshead Revisited in which ...