 Ramsey’s Theorems were later popularised in an influential paper of Paul Erdős and George Szekeres (1935) and initiated in the early 1970s the establishment of Ramsey Theory as a major subdiscipline of Combinatorics. The basic aim in this subdiscipline is to show that mathematical structures of a certain type and size (and generally non-uniform) must have within them uniform substructures of a certain type and size, see Katz &amp; Reimann 2018, Nešetřil &amp; Rödl 1990, and Spencer &amp; Graham 1990.