How pencils get sharpened.