Three cards are in a hat. One card is red on both sides. One card is white on both sides. The third card is red on one side and white on the other. A card is drawn at random and put on a table. The side facing up is red. What is the probability that the side facing down is also red?