Talk:Independence of Smith-dominated alternatives