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