Re: [math-fun] E8 : lie group breakthrough