Dihedral groups are non-abelian — AI Alignment Forum