A pencil sharpener is a device to sharpen pencils