a pencil sharpener is for sharpening