Richard_Ngo comments on Where I agree and disagree with Eliezer