a pencil sharpener sharpens pencils