Thinking of the loss of Hilary Mantel, and what history is and what it is not.