to shrink