Over Pencil Sharpening

The term used to describe a person who sharpens his/her pencil every 2-5 minutes, (because they always want it sharp as it can get) resulting in their pencil ending up 2 inchs long the next day.