An eraser is sometimes also a technical tool for repair