Magdalena Wache comments on formalizing the QACI alignment formal-goal