Condolences for the family of Derek C. Krawczyk