an electric pencil sharpener is used for faster pencil sharpening.