Project Pope: Logic doesn’t mean an infallible pope