an electric pencil sharpener is for a busy office