And is there still an electric or rotary pencil sharpener in your house/office/classroom? If so, which?
or