I have a couple of questions, and I'm going to share my time with Madam O'Neill Gordon.
Ryan, I'm going to go back to you because I didn't get to finish my questions. My time went so quickly. I think you said 17% of the mining workforce—38,000—were women. Did I get that right?