in the past pencils were sharpened through knives or razors