a pencil sharpener puts a fresh point on a pencil