I was reading this thread and I had to look up the difference between a lead holder and a mechanical pencil - this short youtube video set me straight
https://www.youtube.com/watch?v=_L5rxYw_ISg
Now, can anyone recommend a good pencil sharpener, either electric or manual?