formalizing the QACI alignment formal-goal — AI Alignment Forum