an eraser is for correcting a mistake.