a pencil sharpener is for putting a point on a dull pencil