Independence_of_Smith-dominated_alternatives loading ...