It would be 6-3 in favor of trump installing an antipope