https://kottke.org/16/10/a-history-of-pencil-lead-and-how-pencils-are-made