david_reinstein comments on Two Types of Average Utilitarianism