What a trio of him, Alec Guinness, and David Lean.
What a career, and what a life, that man led. We will miss him.