And I could have defined this as 703. And this would still be a legitimate random variable. It might not be as pure a way of thinking about it as defining 1 as heads and 0 as tails. But that would have been a random variable. Notice, we have taken this random process, flipping a coin, and we've mapped the outcomes of that random process. And we've quantified them, 1 if heads, 0 if tails. 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.