a pencil sharpener is for cutting