Independence of Smith-dominated alternatives