a pencil sharpener is for Sharpening pencils