Condolences to the Washington Post.