One of the basic results in extremal set theory was discovered in [1] and rediscovered in [2]: For a given number of k-element subsets of an n-set the shadow, that is, the set of ( k 1)-element subsets contained in at least one of the specified k-element subsets, is minimal, if the k-element subsets are chosen as an initial segment in the squashed order (see [10]; called colex order in [liD, th...