Human history is in essence a history of ideas.