That is the probability of being dealt a hand of red cards.