When was the last time you used a pencil sharpener?