Sharpening a pencil makes it shorter.