an eraser is for correcting error made with a pencil