an electric pencil sharpener is for sharpening pencils