back porch: a porch for the back door
porch: a structure attached to the exterior of a building often forming a covered entrance
first vatican council: the Vatican Council in 1869-1870 that proclaimed the infallibility of the pope when speaking ex cathedra