 Instead of focusing attention on that, leave it be, and let's focus on things that truly do matter. Right now, you've got Republican leadership, and this is not Trump, but these are people in his circle that are trying to soften the influence of Christians and conservatives in the party.