Rain-cooled air beneath a thunderhead is heavier than the
surrounding hot air that led to formation of the thunderhead to begin with.
This cool air therefore drops beneath the cloud and moves out from under it,
the warm moist air of the surroundings condensing on its leading edge. This
forms a shelf cloud, which may run the entire length of a large storm system
on one side.