a pencil sharpener is for sharpening dull pencils