We give a self-contained exposition of Mayr & Meyer's example of a polynomial ideal exhibiting
double exponential degrees for the ideal membership problem, and generalise this example to
exhibit minimal syzygies of double exponential degree. This demonstrates the existence of
subschemes of projective space of double exponential regularity.