Algebraic structure — AI Alignment Forum