Pencils, Erasers, Sharpeners, and Correction