till Alphonso Leo och skall regera under benämningen Alphonso den Trettonde.