After a pencil has been sharpened, the pencil is shorter.