Forging A New AGI Social Contract — LessWrong