On the death of a colleague.