Shelah’s proof of the Hales–Jewett theorem revisited

We present a variant of Shelah’s proof of the Hales–Jewett theorem.