Richard_Ngo comments on Is death bad?