“This is a decision long in the making and not an easy one. I’ve had the greatest job I can think of, working with the finest colleagues anyone could ask for, for as long a stretch as I could imagine. But, looking ahead to my seventies (which start all too soon) I feel that it is time for me to begin a new phase of life. Over the next few months, I hope to figure out what that will be.”