Is the pope a king? An interpretation of the Vatican-Italian pact.