azzaman333
meh
If it's a single civ game, which appears likely, every team should be able to get the leader they want, regardless of whether they're duplicates. Allowing civs to change leader if there's a duplicate is giving one team the ability to counter the other team's civ choice.