an electric pencil sharpener is used for the same thing that a mechanical pencil sharpener is used for