to shrink; to contract; to deflate; to shorten; to reduce in length