We present a short proof of Szemer\'edi's Theorem using a dynamical system
enriched by ideas from model theory. The resulting proof contains features
reminiscent of proofs based on both ergodic theory and on hypergraph
regularity.