an eraser is used for removing pencil marks