Avoiding short progressions in Euclidean Ramsey theory | Synapse