So, otl, Holy Roman Emperor Leopold I had two surviving sons, Joseph and Charles. Both of whom became Holy Roman Emperor after their father. However, Leopold also had another son named Leopold Joseph born in 1682, however, he died young in 1684. If this kid had survived, would it have been him who Leopold would've propped up for the Spanish throne, against Felipe, Duke of Anjou, and if Joseph had still died as he did otl, would Leopold have renounced his rights to Spain in favour of his young brother Charles, and become Emperor Leopold II? Or would he have allowed Charles to become Holy Roman Emperor and continued the struggle for Spain?