Carpenters pencil

I always thought carpenters pencils were sharpened with knives, but there are sharpeners that do it apparently. I thought that was quite interesting.