Awful, and for me unexpected, news.

The last time I ran into Boris was several years ago at Heathrow, in one of the clubrooms waiting for a flight with one of his adult children. He was a very pleasant person, whom unfortunately I only knew from a few occasions.

My condolences to Dave and to Boris' family.