Concept: shrink

Definition: to become smaller.