a pencil can be sharpened