a pencil sharpener is for grinding