My deepest condolences to his family and friends, his contributions here will be missed. Rest in peace.