a pencil sharpener is for shaping a pencil to a point