The role of ideas in history