So we can define another random variable, capital Y, as equal to, let's say, the sum of rolls of, let's say, 7 dice. And when we talk about the sum, we're talking about the sum of the 7. Let me write this. The sum of the upward face after rolling 7 dice. Once again, we are quantifying an outcome for a random process. We are the random processes rolling these 7 dice and seeing what sides show up on top. And then we are taking those, and we are taking the sum, and we are defining a random variable in that way.