an eraser is for erasing pencil marks