On OpenAI’s Model Spec — LessWrong