Back in the middle of the fifties, when I was first introduced to printing, it seemed to me that all pencils were yellow.  They had erasers on one end, they were made of wood, and the class had a pencil sharpener that we were allowed to use at certain times of the day.
I took great [...]