Richard_Ngo comments on Pain is not the unit of Effort