So it's reduced. Our oxygen is reduced. So what gets oxidized? If something is reduced, something must be oxidized. So our copper goes from a plus one to zero. And that means, actually, copper also gets reduced.