Pius den nionde var fångenskapen en dogm,