Descriptive versus normative propositions - History — AI Alignment Forum