an eraser is for erasing a mistake