Re: [math-fun] Games of Ramsey and van der Waerden