a pencil sharpener makes pencils not dull