a pencil sharpener is for removing wood on a pencil