a pencil sharpener is for students