Progressions in Euclidean Ramsey theory | Synapse