It is part of our political thinking that democracy is a battle of ideas.