Polynomial extensions of van der Waerden’s and Szemerédi’s theorems | Synapse