So what is this probability right over here? Let's just look at our actual distribution. So this is our distribution. This right here is our sampling mean. Maybe I should do it in blue because that's the number up here. That's the color up here. This is our sampling mean.