Did you know that a pencil sharpener "is a device for sharpening a pencil's point by shaving the end of the pencil"? Well, all right, you probably did.