This is different from the original probability of drawing a red card from the entire deck, which was 1/2 as well.