A great loss, indeed.