It had to happen. Farewell, then, Len Deighton, at the magnificent age of 97. And thank you for everything, for it all.