Gurkenglas comments on formalizing the QACI alignment formal-goal