Our thoughts are with his family, friends, and work colleagues. It was very moving to hear the tributes and his life story this afternoon.