You are given three coins: one has heads on both faces, the second has tails on both faces, and the third has a head on one face and tail on the other. You choose a coin at random and toss it, and it comes up heads. The probability that the other face is tails is