an electric pencil sharpener is for quickly sharpening a pencil