Orthogonal's Formal-Goal Alignment theory of change — AI Alignment Forum