an eraser is for correcting a mistake