oge comments on Prioritization Consequences of “Formally Stating the AI Alignment Problem”