an electric pencil sharpener is for quickly sharpening many pencils