Sharpening a Pencil with a Bench Grinder