Do you sharpen these pencils?

Do you sharpen these pencils?
Do you sharpen these pencils?

No, I don’t. I’m a wall. I can’t even pick up a pencil, let alone sharpen it. These little pencils are carried here by my assistants from the containers at the Circulation and Reference desks whenever they notice they’re dull. If you notice they’re dull, it would be super-helpful if you grab a few from one of those desks, if you have the time and inclination.